2 commits

Author	SHA1	Message	Date
Griffin Smith	b93268085a	Implement top-level ascription of declarations	2021-03-14 17:01:25 -04:00
Griffin Smith	ecb4c0f803	Universally quantified type variables ... Implement universally quantified type variables, both explicitly given by the user and inferred by the type inference algorithm.	2021-03-14 16:43:47 -04:00