Simon Forman
|
56da4690d0
|
Rebuild docs
|
2020-05-17 16:40:58 -07:00 |
|
Simon Forman
|
7f6fcf6e09
|
Rebuild docs with Python 3 and Sphinx 3.0.2.
|
2020-04-28 15:37:49 -07:00 |
|
Simon Forman
|
a66fd8d173
|
Finally remove all mentions of the old polytypes module.
It was merged with types long ago.
|
2020-04-25 15:59:31 -07:00 |
|
Simon Forman
|
4406a6620b
|
Type inference of Joy expressions.
More remains to be done but it seems to work.
|
2018-06-29 13:19:12 -07:00 |
|
Simon Forman
|
9ee50a6268
|
Minor edits.
|
2018-06-27 16:31:00 -07:00 |
|
Simon Forman
|
eb739024eb
|
Type checking, initial work.
|
2018-06-26 15:23:51 -07:00 |
|
Simon Forman
|
41d979b233
|
A bit more text in the Types notebook.
It's still pretty drafty. I'm working on the code and then I'll write up
the last bit of docs.
|
2018-06-25 11:32:27 -07:00 |
|
Simon Forman
|
1aace53fa0
|
Infencer/Interpreter hybrid and Kleene Star types.
Still draft but it works. Gotta clean it up and supply defs for basis
functions.
|
2018-06-24 16:33:07 -07:00 |
|
Simon Forman
|
968556c7f3
|
Simple type inference and compiler.
The compiler works for the subset of Joy functions that deal strictly in
manipulating stacks and their contents.
|
2018-06-21 21:23:34 -07:00 |
|
Simon Forman
|
ca05ea404a
|
Bunches of new docs.
Type inference!
A new treatment of recursion combinator patterns.
|
2018-06-21 21:13:50 -07:00 |