5 Commits

Author	SHA1	Message	Date
Danila Fedorin	b4c91d2dd4	Adjust grammar to allow for broader range of type inputs.	2020-04-13 23:17:34 -07:00
Danila Fedorin	98c1b5a3b2	Make substitution replace types at every lookup step	2020-04-13 17:59:57 -07:00
Danila Fedorin	122a1d73d3	Integrate new types into the rest of the project	2020-04-13 17:12:43 -07:00
Danila Fedorin	74e6dba914	Add parsed type data structure, type application and arity.	2020-04-13 17:08:03 -07:00
Danila Fedorin	d7846e0b32	Fork off code for part 11 of compiler series.	2020-04-09 23:48:53 -07:00