Soonad / Formality-Haskell Public

Notifications You must be signed in to change notification settings
Fork 0
Star 18

A Haskell implementation of the Formality language

18 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 62 Commits
Base.fm @ 04adef3		Base.fm @ 04adef3
fide		fide
graphviz		graphviz
src		src
test		test
.gitignore		.gitignore
.gitmodules		.gitmodules
LICENSE		LICENSE
Net.md		Net.md
README.md		README.md
formality-haskell.cabal		formality-haskell.cabal
shell.nix		shell.nix
stack.yaml		stack.yaml

Repository files navigation

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