summaryrefslogtreecommitdiff
path: root/infer2.scm
Commit message (Collapse)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