about summary refs log tree commit diff
AgeCommit message (Expand)AuthorFilesLines
2019-09-19 test: add eitherN testAlex Rice1-0/+1
2019-09-19 feat: add n-ary eitherAlex Rice1-2/+4
2019-09-17 Add path typeMichael Fellinger2-1/+3
2019-09-14 docs(README): Add usage information to READMEVincent Ambo1-2/+46
2019-08-29 Merge pull request #1 from tazjin/feat/travis-buildsVincent Ambo5-0/+343
2019-08-29 fix: Bump Nix in CI setup to 2.2.2Vincent Ambo1-0/+1
2019-08-28 chore: Add contribution & code of conduct informationVincent Ambo2-0/+135
2019-08-28 chore: Add Apache License 2.0Vincent Ambo1-0/+202
2019-08-28 docs: Add build status to READMEVincent Ambo1-0/+2
2019-08-28 feat: Add Travis CI configurationVincent Ambo1-0/+3
2019-08-28 chore: Change file layout to match repository instead of gistVincent Ambo9-39/+41
2019-08-28 test: Add test for pattern matching on sum typesVincent Ambo1-0/+5
2019-08-28 test: Add a test to check that all types match the 'type'-typeVincent Ambo1-1/+15
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.0) at 2024-05-31T04·20+0000