about summary refs log tree commit diff
path: root/yants.nix (follow)
AgeCommit message (Expand)AuthorFilesLines
2019-08-28 feat: Introduce composable type errors and type parameter checkingVincent Ambo1-101/+268
2019-08-28 feat: Add rough initial version of sum typesVincent Ambo1-1/+15
2019-08-28 feat: Implement support for typing functionsVincent Ambo1-1/+14
2019-08-28 chore: Add Google's copyright headerVincent Ambo1-0/+3
2019-08-28 feat: Improved error message for missing struct fieldsVincent Ambo1-1/+2
2019-08-28 feat: Add enum supportVincent Ambo1-15/+22
2019-08-28 refactor: Gain back a few more linesVincent Ambo1-14/+8
2019-08-28 refactor: Drop back to below 100 lines :)Vincent Ambo1-6/+2
2019-08-28 feat: Add function typeVincent Ambo1-2/+3
2019-08-28 feat: Add derivation typeVincent Ambo1-0/+3
2019-08-28 feat: Support better error messages for list/attrs element checksVincent Ambo1-5/+13
2019-08-28 feat: Initial check-in of type system sketchVincent Ambo1-0/+88