tweag/nickel
1
1
Fork 0
mirror of https://github.com/tweag/nickel.git synced 2024-09-20 16:08:14 +03:00
Code Issues Projects Releases Wiki Activity
604cb1e9c9
nickel/makam-spec
History
Teodoro Freund a480bd30b2 Polymorphic enums + fixes: 
* forall is instantiated
* fixes for two unsolved bugs on makam
2019-12-20 13:20:06 +01:00
..
src Polymorphic enums + fixes: 2019-12-20 13:20:06 +01:00
default.nix 0.7.22 -> 0.7.24 2019-12-20 11:31:45 +01:00
makam-composition.nix 0.7.22 -> 0.7.24 2019-12-20 11:31:45 +01:00
node-env.nix Updated Makam to 0.7.20 2019-11-18 10:46:11 +01:00
node-packages.nix 0.7.22 -> 0.7.24 2019-12-20 11:31:45 +01:00
package.json Just adding a basic infra to have Makam on NixOS 2019-09-11 15:34:49 +02:00
README.md 0.7.22 -> 0.7.24 2019-12-20 11:31:45 +01:00

README.md

Using Makam

Makam is a dialect of lambda Prolog created and maintained by Antonis Stampoulis, more information here. This is an attempt to use it to define the semantics of the Nickel language.

He distributes it through NPM, and on the repo there's information on how to get it working.

Using it on Nix

We use the node2nix helper, there's a PR to add it to nixpkgs, but for now this simple config should help.

Just nix-build -A makam and then result/bin/makam ./src/init.makam -. Or run result/bin/makam src/init.makam src/examples.makam to run the examples.

To update it

Run node2nix --nodejs-12 -c makam-composition.nix on the makam-spec directory