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

	Commit message (Collapse)	Author	Age
*	split bidirectional checking and conversion + defaults out of simple.rs	JJ	2023-04-13
\|
*	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
\|
*	slight cleanups	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
\|
*	refactor execute to not panic and write tests	JJ	2023-04-06
\|
*	rename project, write parser tests	JJ	2023-04-06
\|
*	wip	JJ	2023-04-05