We are currently working on new rules for what content should and shouldn't be allowed on this website, and are looking for feedback! See Esolang:2026 topicality proposal to view and give feedback on the current draft.

Morte

From Esolang
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.
Morte
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.