Description
Utilities for working with the Qux language.
Description
Qux is an experimental language developed from the ground up with the aim of static compile time verification. This package provides tools for working with it (parsing, compiling, pretty printing and type checking).