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