being an attempt to express dependently typed data models
Primary LanguageHaskellThe UnlicenseUnlicense
No issues in this repository yet.