dedukti is a programming language created in 2009.
git clone https://github.com/Deducteam/Dedukti| #1477on PLDB | 15Years Old |
Implementation of the λΠ-calculus modulo rewriting
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).| Feature | Supported | Token | Example |
|---|---|---|---|
| MultiLine Comments | ✓ | (; ;) | (; A comment ;) |
| Comments | ✓ | (; This is a comment ;) |
|
| Semantic Indentation | X |