2018-06-29 | Simon Forman | Type inference of Joy expressions. | blob | commitdiff |
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 |