2019-07-22 |
Simon Forman | Build a list of the moves taken. |
commit | commitdiff | tree | snapshot |
2019-07-22 |
Simon Forman | Refactor a bit. |
commit | commitdiff | tree | snapshot |
2019-07-21 |
Simon Forman | Assert definitions as they are read. |
commit | commitdiff | tree | snapshot |
2019-07-21 |
Simon Forman | Messing with TLA+ in Prolog. |
commit | commitdiff | tree | snapshot |
2019-07-21 |
Simon Forman | Implement map combinator. |
commit | commitdiff | tree | snapshot |
2019-07-21 |
Simon Forman | Tiny edits. Almost nothing. |
commit | commitdiff | tree | snapshot |
2019-07-21 |
Simon Forman | Remove cuts from branch combinator. |
commit | commitdiff | tree | snapshot |
2019-07-21 |
Simon Forman | Add mod, gcd, and hypot; term_expansion for math ops. |
commit | commitdiff | tree | snapshot |
2019-07-21 |
Simon Forman | Fold try_both_branches/4 into branch combo. |
commit | commitdiff | tree | snapshot |
2019-07-21 |
Simon Forman | Replace ? with plain ol' def/2. |
commit | commitdiff | tree | snapshot |
2019-07-21 |
Simon Forman | WTF error handler. |
commit | commitdiff | tree | snapshot |
2019-07-20 |
Simon Forman | If I comment out the WTF handler... |
commit | commitdiff | tree | snapshot |
2019-07-20 |
Simon Forman | Try to handle expressions in branch combinator. |
commit | commitdiff | tree | snapshot |
2019-07-20 |
Simon Forman | Handle exceptions in comparison ops. |
commit | commitdiff | tree | snapshot |
2019-07-16 |
Simon Forman | More readable genrec. |
commit | commitdiff | tree | snapshot |
2019-07-16 |
Simon Forman | A little helper function to see compiled expressions. |
commit | commitdiff | tree | snapshot |
2019-07-16 |
Simon Forman | Clear out CLP(FD) functions. |
commit | commitdiff | tree | snapshot |
2019-07-16 |
Simon Forman | Opps! Here's the implementation of bool. |
commit | commitdiff | tree | snapshot |
2019-07-16 |
Simon Forman | Add bool function to mimic Python semantics. |
commit | commitdiff | tree | snapshot |
2019-07-16 |
Simon Forman | Change comparison ops to not use CLP(FD). |
commit | commitdiff | tree | snapshot |
2019-07-16 |
Simon Forman | Implement genrec combinator. |
commit | commitdiff | tree | snapshot |
2019-07-16 |
Simon Forman | Minor cleanup of defs. |
commit | commitdiff | tree | snapshot |
2019-07-15 |
Simon Forman | Move all definitions to defs.txt. |
commit | commitdiff | tree | snapshot |
2019-07-15 |
Simon Forman | Retract previous definitions before asserting new ones. |
commit | commitdiff | tree | snapshot |
2019-07-15 |
Simon Forman | Load definitions from a file. |
commit | commitdiff | tree | snapshot |
2019-07-15 |
Simon Forman | Very minor docs change. |
commit | commitdiff | tree | snapshot |
2019-07-15 |
Simon Forman | Parse joy definitions from text. |
commit | commitdiff | tree | snapshot |
2019-07-15 |
Simon Forman | New combinator infrst == infra first |
commit | commitdiff | tree | snapshot |
2019-07-15 |
Simon Forman | nullary combinator as definition. |
commit | commitdiff | tree | snapshot |
2019-07-15 |
Simon Forman | Infra as definition. |
commit | commitdiff | tree | snapshot |
2019-07-15 |
Simon Forman | Reimplement app1 and app2 as definitions. |
commit | commitdiff | tree | snapshot |
2019-07-15 |
Simon Forman | Got enough definitions, sort them. |
commit | commitdiff | tree | snapshot |
2019-07-15 |
Simon Forman | Switch to symbolic math (from CLP(FD).) |
commit | commitdiff | tree | snapshot |
2019-05-08 |
Simon Forman | Docs on Start Up Sequence |
commit | commitdiff | tree | snapshot |
2019-05-08 |
Simon Forman | Stop hg ignoring the build dir. |
commit | commitdiff | tree | snapshot |
2019-05-07 |
Simon Forman | More docs... |
commit | commitdiff | tree | snapshot |
2019-05-07 |
Simon Forman | A bit more on the docs. |
commit | commitdiff | tree | snapshot |
2019-05-07 |
Simon Forman | Move VUI package/module graph. |
commit | commitdiff | tree | snapshot |
2019-05-07 |
Simon Forman | screenshot |
commit | commitdiff | tree | snapshot |
2019-05-07 |
Simon Forman | A start on docs for VUI. |
commit | commitdiff | tree | snapshot |
2019-05-07 |
Simon Forman | Welcome to the Sphinx 1.8.5 quickstart utility. |
commit | commitdiff | tree | snapshot |
2019-05-07 |
Simon Forman | Rebuilt MANIFEST file. |
commit | commitdiff | tree | snapshot |
2019-05-06 |
Simon Forman | Use ~/.thun instead of ~/.joypy as default JOY_HOME. |
commit | commitdiff | tree | snapshot |
2019-05-06 |
Simon Forman | Well, that seems to work. |
commit | commitdiff | tree | snapshot |
2019-05-06 |
Simon Forman | Update initial joy home dir contents BLOB. |
commit | commitdiff | tree | snapshot |
2019-05-06 |
Simon Forman | Update imports, copyright notices. |
commit | commitdiff | tree | snapshot |
2019-05-06 |
Simon Forman | Some images generated by pyreverse or whatever. |
commit | commitdiff | tree | snapshot |
2019-05-06 |
Simon Forman | Initial bring over of VUI code. (Won't work yet.) |
commit | commitdiff | tree | snapshot |
2019-05-06 |
Simon Forman | See https://www.metalevel.at/acomip/ |
commit | commitdiff | tree | snapshot |
2019-05-04 |
Simon Forman | Minor cleanup. |
commit | commitdiff | tree | snapshot |
2019-05-04 |
Simon Forman | Change name from alpha to tmi. |
commit | commitdiff | tree | snapshot |
2019-05-03 |
Simon Forman | A Tracing Meta-Interpreter for Thun |
commit | commitdiff | tree | snapshot |
2019-05-03 |
Simon Forman | Some docs, and a thing to print out the dictionary... |
commit | commitdiff | tree | snapshot |
2019-05-03 |
Simon Forman | Minor cleanup and comments. |
commit | commitdiff | tree | snapshot |
2019-05-02 |
Simon Forman | linker//1 works on ASM not IR. (rename variable) |
commit | commitdiff | tree | snapshot |
2019-05-02 |
Simon Forman | Add some comments, minor rearrangement. |
commit | commitdiff | tree | snapshot |
2019-05-02 |
Simon Forman | Make get//1 handle lists of pairs which it passes off... |
commit | commitdiff | tree | snapshot |
2019-05-02 |
Simon Forman | Minor cleanup. |
commit | commitdiff | tree | snapshot |
2019-05-02 |
Simon Forman | Minor cleanup. |
commit | commitdiff | tree | snapshot |
2019-04-28 |
Simon Forman | binary_number/2 is more efficient if you strip off... |
commit | commitdiff | tree | snapshot |
2019-04-28 |
Simon Forman | Bring in the (sort of) compiler. |
commit | commitdiff | tree | snapshot |
2019-04-27 |
Simon Forman | Very minor cleanup. |
commit | commitdiff | tree | snapshot |
2019-04-27 |
Simon Forman | Treat defs in thun/3 relation. |
commit | commitdiff | tree | snapshot |
2018-08-25 |
Simon Forman | I just want to publish this right quick. |
commit | commitdiff | tree | snapshot |
2018-08-24 |
Simon Forman | The Prolog version of Joy. |
commit | commitdiff | tree | snapshot |
2018-08-24 |
Simon Forman | A bunch of docs. |
commit | commitdiff | tree | snapshot |
2018-08-24 |
Simon Forman | The version of Python with Anaconda is lightly newer. |
commit | commitdiff | tree | snapshot |
2018-08-02 |
Simon Forman | Add binary functions. |
commit | commitdiff | tree | snapshot |
2018-08-01 |
Simon Forman | In progress.. |
commit | commitdiff | tree | snapshot |
2018-08-01 |
Simon Forman | Working on compiler. |
commit | commitdiff | tree | snapshot |
2018-07-22 |
Simon Forman | Minor UI bugs. |
commit | commitdiff | tree | snapshot |
2018-07-22 |
Simon Forman | Oh python, oh unicode. |
commit | commitdiff | tree | snapshot |
2018-07-22 |
Simon Forman | Load JOY_HOME/definitions.txt |
commit | commitdiff | tree | snapshot |
2018-07-22 |
Simon Forman | TEXT_BINDINGS stay in textwidget.py. |
commit | commitdiff | tree | snapshot |
2018-07-22 |
Simon Forman | Rework the default JOY_HOME contents. |
commit | commitdiff | tree | snapshot |
2018-07-22 |
Simon Forman | Config file and CLI arg parser. |
commit | commitdiff | tree | snapshot |
2018-07-20 |
Simon Forman | Loop and while combinators. |
commit | commitdiff | tree | snapshot |
2018-07-19 |
Simon Forman | Futzing with types. |
commit | commitdiff | tree | snapshot |
2018-07-19 |
Simon Forman | Getting back to parity after jumble. |
commit | commitdiff | tree | snapshot |
2018-07-19 |
Simon Forman | Working to get types right. |
commit | commitdiff | tree | snapshot |
2018-07-19 |
Simon Forman | Fix TextJoyType inheritance. |
commit | commitdiff | tree | snapshot |
2018-07-19 |
Simon Forman | Log types at startup. |
commit | commitdiff | tree | snapshot |
2018-07-18 |
Simon Forman | Add some logging. |
commit | commitdiff | tree | snapshot |
2018-07-18 |
Simon Forman | Cache the results of type checking. |
commit | commitdiff | tree | snapshot |
2018-07-18 |
Simon Forman | Removing polytypes; some pylint hints. |
commit | commitdiff | tree | snapshot |
2018-07-18 |
Simon Forman | Definitions infer stack effects. |
commit | commitdiff | tree | snapshot |
2018-07-18 |
Simon Forman | Nearly there maybe, maybe not. |
commit | commitdiff | tree | snapshot |
2018-07-18 |
Simon Forman | Moving right along. |
commit | commitdiff | tree | snapshot |
2018-07-17 |
Simon Forman | So fra, so good... |
commit | commitdiff | tree | snapshot |
2018-07-17 |
Simon Forman | i got used to it, but Jupyter likes 4 |
commit | commitdiff | tree | snapshot |
2018-07-17 |
Simon Forman | in the middle, just want to 2ify my indents... |
commit | commitdiff | tree | snapshot |
2018-07-17 |
Simon Forman | TextJoyType and inscribe command. |
commit | commitdiff | tree | snapshot |
2018-07-17 |
Simon Forman | A few more stack effects. |
commit | commitdiff | tree | snapshot |
2018-07-17 |
Simon Forman | expectations_of_definition() and some helper infer... |
commit | commitdiff | tree | snapshot |
2018-07-17 |
Simon Forman | More stack effects, and modify the key bindings. |
commit | commitdiff | tree | snapshot |
2018-07-16 |
Simon Forman | Update docs. |
commit | commitdiff | tree | snapshot |
2018-07-16 |
Simon Forman | Make sure we've got all the docs, etc. |
commit | commitdiff | tree | snapshot |
2018-07-16 |
Simon Forman | Fix bugs |
commit | commitdiff | tree | snapshot |
2018-07-15 |
Simon Forman | That "fix" wasn't a fix. |
commit | commitdiff | tree | snapshot |
2018-07-15 |
Simon Forman | Fix up stacks for type checking. |
commit | commitdiff | tree | snapshot |
next |