| 2019-05-07 |
Simon Forman | Welcome to the Sphinx 1.8.5 quickstart utility.
|
commit | commitdiff | tree |
| 2019-05-07 |
Simon Forman | Rebuilt MANIFEST file.
|
commit | commitdiff | tree |
| 2019-05-06 |
Simon Forman | Use ~/.thun instead of ~/.joypy as default JOY_HOME.
|
commit | commitdiff | tree |
| 2019-05-06 |
Simon Forman | Well, that seems to work.
|
commit | commitdiff | tree |
| 2019-05-06 |
Simon Forman | Update initial joy home dir contents BLOB.
|
commit | commitdiff | tree |
| 2019-05-06 |
Simon Forman | Update imports, copyright notices.
|
commit | commitdiff | tree |
| 2019-05-06 |
Simon Forman | Some images generated by pyreverse or whatever.
|
commit | commitdiff | tree |
| 2019-05-06 |
Simon Forman | Initial bring over of VUI code. (Won't work yet.)
|
commit | commitdiff | tree |
| 2019-05-06 |
Simon Forman | See https://www.metalevel.at/acomip/
|
commit | commitdiff | tree |
| 2019-05-04 |
Simon Forman | Minor cleanup.
|
commit | commitdiff | tree |
| 2019-05-04 |
Simon Forman | Change name from alpha to tmi.
|
commit | commitdiff | tree |
| 2019-05-03 |
Simon Forman | A Tracing Meta-Interpreter for Thun
|
commit | commitdiff | tree |
| 2019-05-03 |
Simon Forman | Some docs, and a thing to print out the dictionary...
|
commit | commitdiff | tree |
| 2019-05-03 |
Simon Forman | Minor cleanup and comments.
|
commit | commitdiff | tree |
| 2019-05-02 |
Simon Forman | linker//1 works on ASM not IR. (rename variable)
|
commit | commitdiff | tree |
| 2019-05-02 |
Simon Forman | Add some comments, minor rearrangement.
|
commit | commitdiff | tree |
| 2019-05-02 |
Simon Forman | Make get//1 handle lists of pairs which it passes off...
|
commit | commitdiff | tree |
| 2019-05-02 |
Simon Forman | Minor cleanup.
|
commit | commitdiff | tree |
| 2019-05-02 |
Simon Forman | Minor cleanup.
|
commit | commitdiff | tree |
| 2019-04-28 |
Simon Forman | binary_number/2 is more efficient if you strip off...
|
commit | commitdiff | tree |
| 2019-04-28 |
Simon Forman | Bring in the (sort of) compiler.
|
commit | commitdiff | tree |
| 2019-04-27 |
Simon Forman | Very minor cleanup.
|
commit | commitdiff | tree |
| 2019-04-27 |
Simon Forman | Treat defs in thun/3 relation.
|
commit | commitdiff | tree |
| 2018-08-25 |
Simon Forman | I just want to publish this right quick.
|
commit | commitdiff | tree |
| 2018-08-24 |
Simon Forman | The Prolog version of Joy.
|
commit | commitdiff | tree |
| 2018-08-24 |
Simon Forman | A bunch of docs.
|
commit | commitdiff | tree |
| 2018-08-24 |
Simon Forman | The version of Python with Anaconda is lightly newer.
|
commit | commitdiff | tree |
| 2018-08-02 |
Simon Forman | Add binary functions.
|
commit | commitdiff | tree |
| 2018-08-01 |
Simon Forman | In progress..
|
commit | commitdiff | tree |
| 2018-08-01 |
Simon Forman | Working on compiler.
|
commit | commitdiff | tree |
| 2018-07-22 |
Simon Forman | Minor UI bugs.
|
commit | commitdiff | tree |
| 2018-07-22 |
Simon Forman | Oh python, oh unicode.
|
commit | commitdiff | tree |
| 2018-07-22 |
Simon Forman | Load JOY_HOME/definitions.txt
|
commit | commitdiff | tree |
| 2018-07-22 |
Simon Forman | TEXT_BINDINGS stay in textwidget.py.
|
commit | commitdiff | tree |
| 2018-07-22 |
Simon Forman | Rework the default JOY_HOME contents.
|
commit | commitdiff | tree |
| 2018-07-22 |
Simon Forman | Config file and CLI arg parser.
|
commit | commitdiff | tree |
| 2018-07-20 |
Simon Forman | Loop and while combinators.
|
commit | commitdiff | tree |
| 2018-07-19 |
Simon Forman | Futzing with types.
|
commit | commitdiff | tree |
| 2018-07-19 |
Simon Forman | Getting back to parity after jumble.
|
commit | commitdiff | tree |
| 2018-07-19 |
Simon Forman | Working to get types right.
|
commit | commitdiff | tree |
| 2018-07-19 |
Simon Forman | Fix TextJoyType inheritance.
|
commit | commitdiff | tree |
| 2018-07-19 |
Simon Forman | Log types at startup.
|
commit | commitdiff | tree |
| 2018-07-18 |
Simon Forman | Add some logging.
|
commit | commitdiff | tree |
| 2018-07-18 |
Simon Forman | Cache the results of type checking.
|
commit | commitdiff | tree |
| 2018-07-18 |
Simon Forman | Removing polytypes; some pylint hints.
|
commit | commitdiff | tree |
| 2018-07-18 |
Simon Forman | Definitions infer stack effects.
|
commit | commitdiff | tree |
| 2018-07-18 |
Simon Forman | Nearly there maybe, maybe not.
|
commit | commitdiff | tree |
| 2018-07-18 |
Simon Forman | Moving right along.
|
commit | commitdiff | tree |
| 2018-07-17 |
Simon Forman | So fra, so good...
|
commit | commitdiff | tree |
| 2018-07-17 |
Simon Forman | i got used to it, but Jupyter likes 4
|
commit | commitdiff | tree |
| 2018-07-17 |
Simon Forman | in the middle, just want to 2ify my indents...
|
commit | commitdiff | tree |
| 2018-07-17 |
Simon Forman | TextJoyType and inscribe command.
|
commit | commitdiff | tree |
| 2018-07-17 |
Simon Forman | A few more stack effects.
|
commit | commitdiff | tree |
| 2018-07-17 |
Simon Forman | expectations_of_definition() and some helper infer...
|
commit | commitdiff | tree |
| 2018-07-17 |
Simon Forman | More stack effects, and modify the key bindings.
|
commit | commitdiff | tree |
| 2018-07-16 |
Simon Forman | Update docs.
|
commit | commitdiff | tree |
| 2018-07-16 |
Simon Forman | Make sure we've got all the docs, etc.
|
commit | commitdiff | tree |
| 2018-07-16 |
Simon Forman | Fix bugs
|
commit | commitdiff | tree |
| 2018-07-15 |
Simon Forman | That "fix" wasn't a fix.
|
commit | commitdiff | tree |
| 2018-07-15 |
Simon Forman | Fix up stacks for type checking.
|
commit | commitdiff | tree |
| 2018-07-15 |
Simon Forman | Some integration with Type Checking.
|
commit | commitdiff | tree |
| 2018-07-15 |
Simon Forman | Much globals. Wow.
|
commit | commitdiff | tree |
| 2018-07-15 |
Simon Forman | Minor cleanup.
|
commit | commitdiff | tree |
| 2018-07-15 |
Simon Forman | Move load_stack() to StackDisplayWorld.
|
commit | commitdiff | tree |
| 2018-07-15 |
Simon Forman | Move StackDisplayWorld into world.py
|
commit | commitdiff | tree |
| 2018-07-15 |
Simon Forman | Move reset() to text method.
|
commit | commitdiff | tree |
| 2018-07-15 |
Simon Forman | Correct some typo
|
commit | commitdiff | tree |
| 2018-07-15 |
Simon Forman | Move init_text() to Text method.
|
commit | commitdiff | tree |
| 2018-07-15 |
Simon Forman | Split some code into a utils.py module.
|
commit | commitdiff | tree |
| 2018-07-15 |
Simon Forman | Minor cleanup.
|
commit | commitdiff | tree |
| 2018-07-15 |
Simon Forman | Partial harmonize key commands.
|
commit | commitdiff | tree |
| 2018-07-14 |
Simon Forman | Updated manifest file.
|
commit | commitdiff | tree |
| 2018-07-14 |
Simon Forman | It's time to bring in the GUI.
|
commit | commitdiff | tree |
| 2018-07-14 |
Simon Forman | Temporarily ignore the test dir.
|
commit | commitdiff | tree |
| 2018-07-14 |
Simon Forman | Module dependency graphs.
|
commit | commitdiff | tree |
| 2018-07-14 |
Simon Forman | A little more bit o' docs.
|
commit | commitdiff | tree |
| 2018-07-14 |
Simon Forman | A bit more docs.
|
commit | commitdiff | tree |
| 2018-07-11 |
Simon Forman | A little more documentation.
|
commit | commitdiff | tree |
| 2018-07-11 |
Simon Forman | Ah, Symbols.
|
commit | commitdiff | tree |
| 2018-07-11 |
Simon Forman | Unicode in docstring.
|
commit | commitdiff | tree |
| 2018-07-11 |
Simon Forman | ifte as definition; "fork" combinator.
|
commit | commitdiff | tree |
| 2018-07-06 |
Simon Forman | Clean up.
|
commit | commitdiff | tree |
| 2018-07-06 |
Simon Forman | Adding support for type checking.
|
commit | commitdiff | tree |
| 2018-07-06 |
Simon Forman | Another definition for while.
|
commit | commitdiff | tree |
| 2018-07-04 |
Simon Forman | Minor cleanup.
|
commit | commitdiff | tree |
| 2018-07-01 |
Simon Forman | Extra logging and another lil test.
|
commit | commitdiff | tree |
| 2018-06-30 |
Simon Forman | Hmm.
|
commit | commitdiff | tree |
| 2018-06-29 |
Simon Forman | Type inference of Joy expressions.
|
commit | commitdiff | tree |
| 2018-06-28 |
Simon Forman | Gotta update() expression too.
|
commit | commitdiff | tree |
| 2018-06-28 |
Simon Forman | Minor cleanup.
|
commit | commitdiff | tree |
| 2018-06-27 |
Simon Forman | Minor edits.
|
commit | commitdiff | tree |
| 2018-06-27 |
Simon Forman | don't compose lits
|
commit | commitdiff | tree |
| 2018-06-27 |
Simon Forman | Trying to add a guard to combinators.
|
commit | commitdiff | tree |
| 2018-06-27 |
Simon Forman | Minor edits.
|
commit | commitdiff | tree |
| 2018-06-26 |
Simon Forman | Dropped some HTML docs somehow.
|
commit | commitdiff | tree |
| 2018-06-26 |
Simon Forman | Type checking, initial work.
|
commit | commitdiff | tree |
| 2018-06-25 |
Simon Forman | Fix a couple of bug in Kleene Stars.
|
commit | commitdiff | tree |
| 2018-06-25 |
Simon Forman | A bit more text in the Types notebook.
|
commit | commitdiff | tree |
| 2018-06-25 |
Simon Forman | Some more tests.
|
commit | commitdiff | tree |
| 2018-06-25 |
Simon Forman | Change name of kav() to infer().
|
commit | commitdiff | tree |
| next |
OSDN Git Service
