Comment by hurril

My own functional programming language. I'd done an imperative before but wanted one that has pattern matching, would let me do currying _and_ uses a bidirectional type-checker. All of this is currently implemented but not for all type constructs. It's name? Marmelade. Because Lady Marmelade and thus files with a lady suffix. m.lady.

https://github.com/pandemonium/marmelade