Moonad: a p2p academic journal, or a social network for code? -------------------------------------------------------------
Formality-Lang is a set of syntax sugars that transpile to [Formality-Core](https://github.com/moonad/formality-core). It extends that minimal core with user-friendly notations such as string literals and datatype declarations.
The FormCore minimal proof language
Optimal evaluation of some lambda terms
uwuchat
Formality language loader for webpack
Formality language loader for webpack
Cruel Lambda Thesis