GitHub - Soonad/Formality-C: An implementation of the Formality language in C · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 16 Commits
FM-Net		FM-Net
.clang-format		.clang-format
LICENSE		LICENSE
README.md		README.md

Repository files navigation

Formality-C

You can access the Wiki here

About

An implementation of the Formality language in C

gitlab.com/moonad/formality-c

c interaction-nets inet formality

Custom properties

Report repository

Releases

No releases published

Packages

Contributors

Languages

C 100.0%