moonad-archive/Formality-JavaScript

An implementation of the Formality language in JavaScript

JavaScript

70

546 commits

updated Aug 27, 2019

See the code

README

Formality.js

Main repository for the JavaScript implementation of the Formality language.

Documentation.

Base libraries.

You can install Formality 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

It can be used from the terminal with the fm command, or as a library with require("formality-lang").

formality
inets
interaction-nets
javascript
lambda-calculus
moonad

Contributors

VictorTaelin

476 commits

MaisaMilena

47 commits

evaporei

11 commits

moonad-archive/Formality-JavaScript

An implementation of the Formality language in JavaScript

JavaScript

70

546 commits

updated Aug 27, 2019

See the code

README

Formality.js

Main repository for the JavaScript implementation of the Formality language.

Documentation.

Base libraries.

You can install Formality 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

It can be used from the terminal with the fm command, or as a library with require("formality-lang").

formality
inets
interaction-nets
javascript
lambda-calculus
moonad

Contributors

VictorTaelin

476 commits

MaisaMilena

47 commits

evaporei

11 commits

Languages

JavaScript

85.4%

Nix

14.6%