Idris2 unifier and monomorphiser

Requires pack.

Build instructions

To build the monomorphiser, run:

pack build

To run test:

pack test dtc-utils.ipkgs

Alternatively, you may run the test subproject directly:

cd test
pack build
pack run

Name		Name	Last commit message	Last commit date
Latest commit History 63 Commits
.vscode		.vscode
src		src
test		test
.editorconfig		.editorconfig
.gitignore		.gitignore
README.MD		README.MD
dtc-utils.ipkg		dtc-utils.ipkg
pack.toml		pack.toml