chrysanthemum - A blossoming types system. simple types + subtyping + typeclasses

	Commit message (Collapse)	Author	Age
*	major cleanups: extend Type, refactor Term, and switch to String errs	JJ	2023-04-13
\|
*	minor cleanupscpsc539	JJ	2023-04-13
\|
*	subtyping wip	JJ	2023-04-13
\|
*	write tests for bidirectional checking	JJ	2023-04-12
\|
*	more util helpers, cut down test code verbosity	JJ	2023-04-12
\|
*	https://youtu.be/GwQW3KW3DCc?t=63	JJ	2023-04-12
\|
*	add support for function types to parse_lambda	JJ	2023-04-11
\|
*	initial draft of an actual multi-line language parser	JJ	2023-04-11
\|
*	slight cleanups	JJ	2023-04-11
\|
*	write a lexer	JJ	2023-04-11
\|
*	bidirectional working	JJ	2023-04-11
\|
*	bidirectional wip	JJ	2023-04-10
\|
*	bidirectional wtf	JJ	2023-04-10
\|
*	begin bidirectional implementation	JJ	2023-04-06
\|
*	don't panic when parsing bad types (this is genuinely awful)	JJ	2023-04-06
\|
*	refactor execute to not panic and write tests	JJ	2023-04-06
\|
*	rename project, write parser tests	JJ	2023-04-06
\|
*	this was a bad idea	JJ	2023-04-05
\|
*	update readme	JJ	2023-04-05
\|
*	wip	JJ	2023-04-05