dedukti is a historical programming language created in 2009.

10Years Old 132Users 0Jobs
  • 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