Formality-JavaScript

You can access the Wiki here

This repository exports the following npm packages:

• formality-lang
• formality-core
• formality-net
• elementary-affine-type-theory
• elementary-affine-core
• elementary-affine-net

You can install these packages via npm with:

$ npm i -g formality-lang

Or via nix with:

$ git clone https://gitlab.com/moonad/Formality-JavaScript.git
$ cd Formality-JavaScript
$ nix-channel add https://nixos.org/channels/nixpkgs-unstable unstable
$ nix-env -f default.nix formality-lang