Name		Name	Last commit message	Last commit date
Latest commit History 14 Commits
.github		.github
src		src
tests		tests
.gitignore		.gitignore
LICENSE		LICENSE
NOTICE		NOTICE
README.md		README.md
pack.toml		pack.toml
specialise-data.ipkg		specialise-data.ipkg

Repository files navigation

Specialise data

Macro functions for Idris 2 for deriving specialised variants of data types

TBD

About

Macro functions for automatic data specialisation

Apache-2.0 license

Custom properties

Report repository

Releases

No releases published

Packages

Contributors

Languages

Idris 100.0%