dedukti

dedukti is an actively used programming language created in 2009.

11Years Old

132Users

?Jobs

• 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 January 18th, 2020

Edit dedukti on GitHub