about summary refs log tree commit diff
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 Ambo2-1/+32
2019-08-28 docs: Add defun to READMEVincent Ambo2-3/+19
2019-08-28 feat: Implement support for typing functionsVincent Ambo3-1/+20
2019-08-28 test: Add some simple tests for type-checksVincent Ambo1-0/+48
2019-08-28 chore: Add Google's copyright headerVincent Ambo1-0/+3
2019-08-28 docs: Update struct screenshot in READMEVincent Ambo1-1/+1
2019-08-28 feat: Improved error message for missing struct fieldsVincent Ambo2-1/+2
2019-08-28 docs: Add enum screenshot to READMEVincent Ambo1-1/+7
2019-08-28 feat: Add enum supportVincent Ambo2-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 docs: Fix image links (relative is not supported in gists)Vincent Ambo1-3/+3
2019-08-28 chore: Move screenshots into the gistVincent Ambo4-3/+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 Ambo2-0/+104
generated by cgit-pink 1.4.1 (git 2.44.2) at 2024-09-11T09·37+0000