OSDN Git Service

joypy/Thun.git
2018-07-22 Simon FormanOh python, oh unicode.
2018-07-22 Simon FormanLoad JOY_HOME/definitions.txt
2018-07-22 Simon FormanTEXT_BINDINGS stay in textwidget.py.
2018-07-22 Simon FormanRework the default JOY_HOME contents.
2018-07-22 Simon FormanConfig file and CLI arg parser.
2018-07-20 Simon FormanLoop and while combinators.
2018-07-19 Simon FormanFutzing with types.
2018-07-19 Simon FormanGetting back to parity after jumble.
2018-07-19 Simon FormanWorking to get types right.
2018-07-19 Simon FormanFix TextJoyType inheritance.
2018-07-19 Simon FormanLog types at startup.
2018-07-18 Simon FormanAdd some logging.
2018-07-18 Simon FormanCache the results of type checking.
2018-07-18 Simon FormanRemoving polytypes; some pylint hints.
2018-07-18 Simon FormanDefinitions infer stack effects.
2018-07-18 Simon FormanNearly there maybe, maybe not.
2018-07-18 Simon FormanMoving right along.
2018-07-17 Simon FormanSo fra, so good...
2018-07-17 Simon Formani got used to it, but Jupyter likes 4
2018-07-17 Simon Formanin the middle, just want to 2ify my indents...
2018-07-17 Simon FormanTextJoyType and inscribe command.
2018-07-17 Simon FormanA few more stack effects.
2018-07-17 Simon Formanexpectations_of_definition() and some helper infer...
2018-07-17 Simon FormanMore stack effects, and modify the key bindings.
2018-07-16 Simon FormanUpdate docs.
2018-07-16 Simon FormanMake sure we've got all the docs, etc.
2018-07-16 Simon FormanFix bugs
2018-07-15 Simon FormanThat "fix" wasn't a fix.
2018-07-15 Simon FormanFix up stacks for type checking.
2018-07-15 Simon FormanSome integration with Type Checking.
2018-07-15 Simon FormanMuch globals. Wow.
2018-07-15 Simon FormanMinor cleanup.
2018-07-15 Simon FormanMove load_stack() to StackDisplayWorld.
2018-07-15 Simon FormanMove StackDisplayWorld into world.py
2018-07-15 Simon FormanMove reset() to text method.
2018-07-15 Simon FormanCorrect some typo
2018-07-15 Simon FormanMove init_text() to Text method.
2018-07-15 Simon FormanSplit some code into a utils.py module.
2018-07-15 Simon FormanMinor cleanup.
2018-07-15 Simon FormanPartial harmonize key commands.
2018-07-14 Simon FormanUpdated manifest file.
2018-07-14 Simon FormanIt's time to bring in the GUI.
2018-07-14 Simon FormanTemporarily ignore the test dir.
2018-07-14 Simon FormanModule dependency graphs.
2018-07-14 Simon FormanA little more bit o' docs.
2018-07-14 Simon FormanA bit more docs.
2018-07-11 Simon FormanA little more documentation.
2018-07-11 Simon FormanAh, Symbols.
2018-07-11 Simon FormanUnicode in docstring.
2018-07-11 Simon Formanifte as definition; "fork" combinator.
2018-07-06 Simon FormanClean up.
2018-07-06 Simon FormanAdding support for type checking.
2018-07-06 Simon FormanAnother definition for while.
2018-07-04 Simon FormanMinor cleanup.
2018-07-01 Simon FormanExtra logging and another lil test.
2018-06-30 Simon FormanHmm.
2018-06-29 Simon FormanType inference of Joy expressions.
2018-06-28 Simon FormanGotta update() expression too.
2018-06-28 Simon FormanMinor cleanup.
2018-06-27 Simon FormanMinor edits.
2018-06-27 Simon Formandon't compose lits
2018-06-27 Simon FormanTrying to add a guard to combinators.
2018-06-27 Simon FormanMinor edits.
2018-06-26 Simon FormanDropped some HTML docs somehow.
2018-06-26 Simon FormanType checking, initial work.
2018-06-25 Simon FormanFix a couple of bug in Kleene Stars.
2018-06-25 Simon FormanA bit more text in the Types notebook.
2018-06-25 Simon FormanSome more tests.
2018-06-25 Simon FormanChange name of kav() to infer().
2018-06-25 Simon FormanWriting tests.
2018-06-25 Simon FormanMinor cleanup.
2018-06-24 Simon FormanInfencer/Interpreter hybrid and Kleene Star types.
2018-06-22 Simon FormanSimple type inference and compiler.
2018-06-22 Simon FormanBunches of new docs.
2018-06-13 Simon FormanElegant definitions for un-, bin-, tern-ary combinators.
2018-06-13 Simon FormanRename pushback() to concat().
2018-06-08 Simon FormanRemoving old html.
2018-06-08 Simon FormanRebuild html.
2018-06-08 Simon FormanThe Hylos notebook is not ready for public yet.
2018-06-07 Simon FormanMove notebook rst files to sphinx subdir.
2018-06-07 Simon FormanSpaces in filenames noooo.
2018-06-07 Simon FormanCleaning up docs.
2018-06-06 Simon FormanToplevel makefile docs target uses docs makefile.
2018-06-06 Simon FormanOnly (re)make changed notebooks.
2018-06-06 Simon FormanSome docs that got swept up in the commotion.
2018-06-06 Simon FormanMake hates spaces in file names.
2018-06-06 Simon FormanMake cannot deal with spaces in filenames.
2018-06-06 Simon FormanI want to re-make only edited notebooks.
2018-06-06 Simon Forman Bunch of minor docs edits.
2018-06-06 Simon FormanMinor docs edit.
2018-06-06 Simon FormanMinor docs edits.
2018-06-06 Simon FormanMinor docs cleanup.
2018-06-06 Simon FormanBumped version to 0.2.0; docs edits.
2018-06-06 Simon FormanMinor docs edits.
2018-06-06 Simon FormanAdded cond and cmp to library.
2018-06-06 Simon FormanRegenerated docs.
2018-06-06 Simon FormanMore docs.
2018-05-29 Simon FormanWorking on tree docs.
2018-05-08 Simon FormanEditing Trees; implemented BTree-Delete.
2018-05-01 Simon FormanStill working towards v0.1.1 docs.
next