2020-11-23 | Simon Forman | Hmm... | blob | commitdiff |
2020-04-28 | Simon Forman | Rebuild docs with Python 3 and Sphinx 3.0.2. | blob | commitdiff |
2020-04-25 | Simon Forman | Finally remove all mentions of the old polytypes module. | blob | commitdiff | diff to current |
2018-06-29 | Simon Forman | Type inference of Joy expressions. | blob | commitdiff | diff to current |
2018-06-27 | Simon Forman | Minor edits. | blob | commitdiff | diff to current |
2018-06-26 | Simon Forman | Type checking, initial work. | blob | commitdiff | diff to current |
2018-06-25 | Simon Forman | A bit more text in the Types notebook. | blob | commitdiff | diff to current |
2018-06-24 | Simon Forman | Infencer/Interpreter hybrid and Kleene Star types. | blob | commitdiff | diff to current |
2018-06-22 | Simon Forman | Simple type inference and compiler. | blob | commitdiff | diff to current |
2018-06-22 | Simon Forman | Bunches of new docs. | blob | commitdiff | diff to current |