Awesome

Typedefs

Typedefs is a programming language-agnostic, algebraic data type definition language, written in Idris.

See http://typedefs.com, or play around with examples at Try Typedefs!

Nix package descriptions, an Elba manifest and a Makefile are provided.

If you want to build everything, do:

nix-build

If you only want to build a specific package:

nix-build -A typedefs.nix

Build everything:

make build-lib
sudo make install-lib
make build-rest

Build a specific package:

make build pkg=typedefs

Build documentation:

make doc-all

Run tests:

make test-all

Install:

sudo make install-all

Clean up:

make clean-all

There is a complete tutorial on how to compile and install typedefs using the elba package manager here.

In most cases it should be just as easy as:

elba install