dedukti is a historical programming language created in 2009.
- dedukti does not currently rank in our top 50% of languages
- the dedukti website
- dedukti on github
- dedukti first appeared in 2009
- I have 22 facts about dedukti. what would you like to know? 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 September 6th, 2019