| 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 |
| 2018-07-15 |
Simon Forman | Some integration with Type Checking. |
commit | commitdiff | tree | snapshot |
| 2018-07-15 |
Simon Forman | Much globals. Wow. |
commit | commitdiff | tree | snapshot |
| 2018-07-15 |
Simon Forman | Minor cleanup. |
commit | commitdiff | tree | snapshot |
| 2018-07-15 |
Simon Forman | Move load_stack() to StackDisplayWorld. |
commit | commitdiff | tree | snapshot |
| 2018-07-15 |
Simon Forman | Move StackDisplayWorld into world.py |
commit | commitdiff | tree | snapshot |
| 2018-07-15 |
Simon Forman | Move reset() to text method. |
commit | commitdiff | tree | snapshot |
| 2018-07-15 |
Simon Forman | Correct some typo |
commit | commitdiff | tree | snapshot |
| 2018-07-15 |
Simon Forman | Move init_text() to Text method. |
commit | commitdiff | tree | snapshot |
| 2018-07-15 |
Simon Forman | Split some code into a utils.py module. |
commit | commitdiff | tree | snapshot |
| 2018-07-15 |
Simon Forman | Minor cleanup. |
commit | commitdiff | tree | snapshot |
| 2018-07-15 |
Simon Forman | Partial harmonize key commands. |
commit | commitdiff | tree | snapshot |
| 2018-07-14 |
Simon Forman | Updated manifest file. |
commit | commitdiff | tree | snapshot |
| 2018-07-14 |
Simon Forman | It's time to bring in the GUI. |
commit | commitdiff | tree | snapshot |
| 2018-07-14 |
Simon Forman | Temporarily ignore the test dir. |
commit | commitdiff | tree | snapshot |
| 2018-07-14 |
Simon Forman | Module dependency graphs. |
commit | commitdiff | tree | snapshot |
| 2018-07-14 |
Simon Forman | A little more bit o' docs. |
commit | commitdiff | tree | snapshot |
| 2018-07-14 |
Simon Forman | A bit more docs. |
commit | commitdiff | tree | snapshot |
| 2018-07-11 |
Simon Forman | A little more documentation. |
commit | commitdiff | tree | snapshot |
| 2018-07-11 |
Simon Forman | Ah, Symbols. |
commit | commitdiff | tree | snapshot |
| 2018-07-11 |
Simon Forman | Unicode in docstring. |
commit | commitdiff | tree | snapshot |
| 2018-07-11 |
Simon Forman | ifte as definition; "fork" combinator. |
commit | commitdiff | tree | snapshot |
| 2018-07-06 |
Simon Forman | Clean up. |
commit | commitdiff | tree | snapshot |
| 2018-07-06 |
Simon Forman | Adding support for type checking. |
commit | commitdiff | tree | snapshot |
| 2018-07-06 |
Simon Forman | Another definition for while. |
commit | commitdiff | tree | snapshot |
| 2018-07-04 |
Simon Forman | Minor cleanup. |
commit | commitdiff | tree | snapshot |
| 2018-07-01 |
Simon Forman | Extra logging and another lil test. |
commit | commitdiff | tree | snapshot |
| 2018-06-30 |
Simon Forman | Hmm. |
commit | commitdiff | tree | snapshot |
| 2018-06-29 |
Simon Forman | Type inference of Joy expressions. |
commit | commitdiff | tree | snapshot |
| 2018-06-28 |
Simon Forman | Gotta update() expression too. |
commit | commitdiff | tree | snapshot |
| 2018-06-28 |
Simon Forman | Minor cleanup. |
commit | commitdiff | tree | snapshot |
| 2018-06-27 |
Simon Forman | Minor edits. |
commit | commitdiff | tree | snapshot |
| 2018-06-27 |
Simon Forman | don't compose lits |
commit | commitdiff | tree | snapshot |
| 2018-06-27 |
Simon Forman | Trying to add a guard to combinators. |
commit | commitdiff | tree | snapshot |
| 2018-06-27 |
Simon Forman | Minor edits. |
commit | commitdiff | tree | snapshot |
| 2018-06-26 |
Simon Forman | Dropped some HTML docs somehow. |
commit | commitdiff | tree | snapshot |
| 2018-06-26 |
Simon Forman | Type checking, initial work. |
commit | commitdiff | tree | snapshot |
| 2018-06-25 |
Simon Forman | Fix a couple of bug in Kleene Stars. |
commit | commitdiff | tree | snapshot |
| 2018-06-25 |
Simon Forman | A bit more text in the Types notebook. |
commit | commitdiff | tree | snapshot |
| 2018-06-25 |
Simon Forman | Some more tests. |
commit | commitdiff | tree | snapshot |
| 2018-06-25 |
Simon Forman | Change name of kav() to infer(). |
commit | commitdiff | tree | snapshot |
| 2018-06-25 |
Simon Forman | Writing tests. |
commit | commitdiff | tree | snapshot |
| 2018-06-25 |
Simon Forman | Minor cleanup. |
commit | commitdiff | tree | snapshot |
| 2018-06-24 |
Simon Forman | Infencer/Interpreter hybrid and Kleene Star types. |
commit | commitdiff | tree | snapshot |
| 2018-06-22 |
Simon Forman | Simple type inference and compiler. |
commit | commitdiff | tree | snapshot |
| 2018-06-22 |
Simon Forman | Bunches of new docs. |
commit | commitdiff | tree | snapshot |
| 2018-06-13 |
Simon Forman | Elegant definitions for un-, bin-, tern-ary combinators. |
commit | commitdiff | tree | snapshot |
| 2018-06-13 |
Simon Forman | Rename pushback() to concat(). |
commit | commitdiff | tree | snapshot |
| 2018-06-08 |
Simon Forman | Removing old html. |
commit | commitdiff | tree | snapshot |
| 2018-06-08 |
Simon Forman | Rebuild html. |
commit | commitdiff | tree | snapshot |
| 2018-06-08 |
Simon Forman | The Hylos notebook is not ready for public yet. |
commit | commitdiff | tree | snapshot |
| 2018-06-07 |
Simon Forman | Move notebook rst files to sphinx subdir. |
commit | commitdiff | tree | snapshot |
| next |
OSDN Git Service
