dedukti - Programming language

home edit

dedukti is a programming language created in 2009.

#947on PLDB

15Years Old

Download source code:

git clone https://github.com/Deducteam/Dedukti

Implementation of the λΠ-calculus modulo rewriting

dedukti website
dedukti is developed on GitHub and has 155 stars
dedukti first developed in https://github.com/Deducteam
dedukti is written in OCaml & Bourne shell & Markdown & Make & Lisp & XML & YAML & Vim script & Python

Example 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).

Language features

Feature	Supported	Token	Example
MultiLine Comments	✓	(; ;)	(; A comment ;)
Comments	✓		(; This is a comment ;)
Semantic Indentation	X