Everything related to Praxis, a functional programming language with eager evaluation and affine types.

Click here for the compiler repository.