| 2015-03-23 | Jim | Merge branch 'working' | blob | commitdiff |
| 2015-03-23 | Jim | untyped eval: tweaks | blob | commitdiff |
| 2015-03-23 | Jim | Merge branch 'working' | blob | commitdiff | diff to current |
| 2015-03-23 | Jim | untyped eval: V[12]-->V[AB] | blob | commitdiff | diff to current |
| 2015-03-22 | Jim | Merge branch 'working' | blob | commitdiff | diff to current |
| 2015-03-22 | Jim | change env implementations to assoc list | blob | commitdiff | diff to current |
| 2015-03-22 | Jim | add comments to untyped_evals again | blob | commitdiff | diff to current |
| 2015-03-22 | Jim | Merge branch 'working' | blob | commitdiff | diff to current |
| 2015-03-22 | Jim | add comments to untyped_evals | blob | commitdiff | diff to current |
| 2015-03-20 | Jim | whoops | blob | commitdiff | diff to current |
| 2015-03-20 | Jim | provide gappy untyped_evaluator.ml | blob | commitdiff | diff to current |