taiga - An implementation of Appel's Tiger language in Rust

Age	Commit message (Collapse)	Author	Files	Lines
2017-11-06	License under MPL 2.0	David Li	4	-0/+20

2017-11-06	Type check record definitions	David Li	1	-8/+7

2017-11-06	Typecheck type aliases	David Li	1	-1/+1

2017-11-06	Reimplement checking of variable bindings	David Li	2	-22/+98

2017-11-05	Parse type and variable declarations	David Li	1	-12/+13

2017-11-05	Check types in bindings, unary operators	David Li	3	-13/+59

2017-11-05	Check types in add expressions	David Li	1	-3/+40

2017-11-05	Add stubbed out type checker	David Li	4	-0/+82