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 | 124 | June 8, 2024 |
| How to type amb in the redex exercise? |
|
4 | 128 | June 6, 2024 |