Awesome Open Source
Awesome Open Source

dtlc

Dependently typed lambda calculus - Practice with DTT

Done

  • [x] Basic DT stuffs (with built-in nat)
  • [x] Product
  • [x] Sum Type
  • [x] Implicit Arguments
  • [ ] Inductive Type

Get A Weekly Email With Trending Projects For These Topics
No Spam. Unsubscribe easily at any time.
Ocaml (8,503
Lambda Calculus (236
Related Projects