3 Commits

Author	SHA1	Message	Date
Danila Fedorin	645d41159b	Remove unneeded parent class.	2020-06-18 23:06:13 -07:00
Danila Fedorin	522d196446	Maybe finish the let/in code?	2020-06-01 00:23:41 -07:00
Danila Fedorin	6d1be9527e	Start working on a lifted version of a definition.	2020-05-31 14:37:33 -07:00