redex
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Is there any Redex implementation of a very minimal dependently typed Lambda Calculus core? Something like Elaboration-Zoo-02 |
![]() ![]() |
1 | 68 | June 8, 2024 |
How to type amb in the redex exercise? |
![]() ![]() ![]() |
4 | 82 | June 6, 2024 |