summaryrefslogtreecommitdiff
path: root/infer2.scm
Commit message (Expand)AuthorAgeFilesLines
* Type quantifiers!!!!David Thompson2023-06-081-95/+188
* Fix begin/let.David Thompson2023-06-081-7/+9
* Add begin form.David Thompson2023-06-081-0/+12
* Add let and values forms.David Thompson2023-06-081-0/+37
* Add basis for multiple return values.David Thompson2023-06-081-154/+124
* First draft of a new attempt at inference.David Thompson2023-06-081-0/+402