Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
Stale branches
dev/basic-parser
7b043877
·
ADD: basic lambda expr parser + small tests
·
Apr 27, 2023
dev/basic-syntax
c4aa1987
·
FIX: cleaned useless precedences and rules
·
Apr 29, 2023
dev/beta-reduction
3679837d
·
ADD: some tests
·
Apr 30, 2023
dev/typecheck
ff5bcb25
·
FIX: typecheking test cases and assistant test proofs
·
May 03, 2023
dev/interpreter
9128a621
·
FIX: Updated more functions with the Hole type
·
May 04, 2023