depot - monorepo for the virus lounge

Age	Commit message (Collapse)	Author	Files	Lines
2019-08-28	feat: Add rough initial version of sum types	Vincent Ambo	1	-1/+15
	Sum types are represented as attribute sets with a single key in them.
2019-08-28	feat: Implement support for typing functions	Vincent Ambo	1	-1/+14
	The defun helper takes a type signature and a function and makes a typed version. Because we can.
2019-08-28	chore: Add Google's copyright header	Vincent Ambo	1	-0/+3

2019-08-28	feat: Improved error message for missing struct fields	Vincent Ambo	1	-1/+2

2019-08-28	feat: Add enum support	Vincent Ambo	1	-15/+22

2019-08-28	refactor: Gain back a few more lines	Vincent Ambo	1	-14/+8

2019-08-28	refactor: Drop back to below 100 lines :)	Vincent Ambo	1	-6/+2

2019-08-28	feat: Add function type	Vincent Ambo	1	-2/+3
	It's not currently possible to check arguments for curried functions, but there might be something on the horizon for attribute set functions.
2019-08-28	feat: Add derivation type	Vincent Ambo	1	-0/+3

2019-08-28	feat: Support better error messages for list/attrs element checks	Vincent Ambo	1	-5/+13

2019-08-28	feat: Initial check-in of type system sketch	Vincent Ambo	1	-0/+88