| 2019-07-16 |
Simon Forman | Add bool function to mimic Python semantics.
|
commit | commitdiff | tree |
| 2019-07-16 |
Simon Forman | Change comparison ops to not use CLP(FD).
|
commit | commitdiff | tree |
| 2019-07-16 |
Simon Forman | Implement genrec combinator.
|
commit | commitdiff | tree |
| 2019-07-16 |
Simon Forman | Minor cleanup of defs.
|
commit | commitdiff | tree |
| 2019-07-15 |
Simon Forman | Move all definitions to defs.txt.
|
commit | commitdiff | tree |
| 2019-07-15 |
Simon Forman | Retract previous definitions before asserting new ones.
|
commit | commitdiff | tree |
| 2019-07-15 |
Simon Forman | Load definitions from a file.
|
commit | commitdiff | tree |
| 2019-07-15 |
Simon Forman | Very minor docs change.
|
commit | commitdiff | tree |
| 2019-07-15 |
Simon Forman | Parse joy definitions from text.
|
commit | commitdiff | tree |
| 2019-07-15 |
Simon Forman | New combinator infrst == infra first
|
commit | commitdiff | tree |
| 2019-07-15 |
Simon Forman | nullary combinator as definition.
|
commit | commitdiff | tree |
| 2019-07-15 |
Simon Forman | Infra as definition.
|
commit | commitdiff | tree |
| 2019-07-15 |
Simon Forman | Reimplement app1 and app2 as definitions.
|
commit | commitdiff | tree |
| 2019-07-15 |
Simon Forman | Got enough definitions, sort them.
|
commit | commitdiff | tree |
| 2019-07-15 |
Simon Forman | Switch to symbolic math (from CLP(FD).)
|
commit | commitdiff | tree |
| 2019-05-08 |
Simon Forman | Docs on Start Up Sequence
|
commit | commitdiff | tree |
| 2019-05-08 |
Simon Forman | Stop hg ignoring the build dir.
|
commit | commitdiff | tree |
| 2019-05-07 |
Simon Forman | More docs...
|
commit | commitdiff | tree |
| 2019-05-07 |
Simon Forman | A bit more on the docs.
|
commit | commitdiff | tree |
| 2019-05-07 |
Simon Forman | Move VUI package/module graph.
|
commit | commitdiff | tree |
| 2019-05-07 |
Simon Forman | screenshot
|
commit | commitdiff | tree |
| 2019-05-07 |
Simon Forman | A start on docs for VUI.
|
commit | commitdiff | tree |
| 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 |
| next |
OSDN Git Service
