dedukti is an actively used programming language created in 2009.
- the dedukti website
- dedukti on github
- dedukti first appeared in 2009
- Have a question about dedukti not answered here? Email me and let me know how I can help.
Example code from the web:
Nat: Type. zero: Nat. succ: Nat -> Nat. def plus: Nat -> Nat -> Nat. [ n ] plus zero n --> n [ n ] plus n zero --> n [ n, m ] plus (succ n) m --> succ (plus n m) [ n, m ] plus n (succ m) --> succ (plus n m).
Last updated August 9th, 2020