Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Type quantifiers!!!! | David Thompson | 2023-06-08 | 1 | -95/+188 |
| | |||||
* | Fix begin/let. | David Thompson | 2023-06-08 | 1 | -7/+9 |
| | |||||
* | Add begin form. | David Thompson | 2023-06-08 | 1 | -0/+12 |
| | |||||
* | Add let and values forms. | David Thompson | 2023-06-08 | 1 | -0/+37 |
| | |||||
* | Add basis for multiple return values. | David Thompson | 2023-06-08 | 1 | -154/+124 |
| | |||||
* | First draft of a new attempt at inference. | David Thompson | 2023-06-08 | 1 | -0/+402 |