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.