Skip to content

Latest commit

 

History

History
30 lines (23 loc) · 697 Bytes

GOALS.md

File metadata and controls

30 lines (23 loc) · 697 Bytes

23 01 25

  • Lambda-calculus AST (Abstract Syntax Tree)
    • ast_statements
    • Terms (Done)

25 01 25 29 01 25

  • Writing the Parser

    • Nearly Documentation(Writing a Parser)

  • Generating the Parser

    • Installing nearly, moo, @types/nearly
    • What is compiling a Grammar ? (Answered) (Done)

  • Impementation of the Parser in Typescript

  • Parser Tests

  • Implementing beta-Reduction (Evaluator)

  • Building the visualizer

  • Creating the UI

  • Testing with Church Numerals

  • Implementation of alpha-conversion to avoid variable capture

  • Add type annotations for dependent types (Phase 2)

  • Integrate Agda via JSON serialization of tem/proofs

  • Optimize the visualiser with collapse subtrees