Morte
Jump to navigation
Jump to search
- This article is not detailed enough and needs to be expanded. Please help us by adding some more information.
| Designed by | Gabriella Gonzalez |
|---|---|
| Appeared in | 2014 |
| Computational class | Calculus of Constructions |
| Reference implementation | [1] |
| File extension(s) | .mt |
Morte is syntax for the wikipedia:calculus of constructions.