A type definition language and type compiler that generates type definitions and validation functions for them in different languages.
Primary LanguageHaskellBSD 2-Clause "Simplified" LicenseBSD-2-Clause