search

helvm / heltc

🎓 🏫 HelTC - Haskellish Esoteric Lambda True Calculator to Esoteric Languages implemented in Haskell
http://helvm.org/heltc
MIT License
6 stars 0 forks source link

Implement Dependently Typed Binary Lambda Calculus #13

Open kamil-adam opened 2 years ago

kamil-adam commented 2 years ago

https://github.com/helvm/Dependent-Binary-Lambda-Calculus

Required:

github-actions[bot] commented 2 years ago

Stale issue message