Formality-Haskell

A Haskell implementation of the Formality language

Modules:

Core: Core language semantics
Lang: Parser
Runtime.Net:Interaction net runtime

Planned:

Compile.Net: Compile Term to Interaction net
Compile.JavaScript: Compile Term to JavaScript
Runtime.HOAS: Higher-Order-Abstract-Syntax reduction
Runtime.DeBruijn: DeBruijn index runtime
Runtime.Affine: Affine Lambda Calculus runtime
Runtime.EVM: Ethereum Virtual Machine runtime