| 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 |
| 2018-06-25 |
Simon Forman | Writing tests.
|
commit | commitdiff | tree |
| 2018-06-25 |
Simon Forman | Minor cleanup.
|
commit | commitdiff | tree |
| 2018-06-24 |
Simon Forman | Infencer/Interpreter hybrid and Kleene Star types.
|
commit | commitdiff | tree |
| 2018-06-22 |
Simon Forman | Simple type inference and compiler.
|
commit | commitdiff | tree |
| 2018-06-22 |
Simon Forman | Bunches of new docs.
|
commit | commitdiff | tree |
| 2018-06-13 |
Simon Forman | Elegant definitions for un-, bin-, tern-ary combinators.
|
commit | commitdiff | tree |
| 2018-06-13 |
Simon Forman | Rename pushback() to concat().
|
commit | commitdiff | tree |
| 2018-06-08 |
Simon Forman | Removing old html.
|
commit | commitdiff | tree |
| 2018-06-08 |
Simon Forman | Rebuild html.
|
commit | commitdiff | tree |
| 2018-06-08 |
Simon Forman | The Hylos notebook is not ready for public yet.
|
commit | commitdiff | tree |
| 2018-06-07 |
Simon Forman | Move notebook rst files to sphinx subdir.
|
commit | commitdiff | tree |
| 2018-06-07 |
Simon Forman | Spaces in filenames noooo.
|
commit | commitdiff | tree |
| 2018-06-07 |
Simon Forman | Cleaning up docs.
|
commit | commitdiff | tree |
| 2018-06-06 |
Simon Forman | Toplevel makefile docs target uses docs makefile.
|
commit | commitdiff | tree |
| 2018-06-06 |
Simon Forman | Only (re)make changed notebooks.
|
commit | commitdiff | tree |
| 2018-06-06 |
Simon Forman | Some docs that got swept up in the commotion.
|
commit | commitdiff | tree |
| 2018-06-06 |
Simon Forman | Make hates spaces in file names.
|
commit | commitdiff | tree |
| 2018-06-06 |
Simon Forman | Make cannot deal with spaces in filenames.
|
commit | commitdiff | tree |
| 2018-06-06 |
Simon Forman | I want to re-make only edited notebooks.
|
commit | commitdiff | tree |
| 2018-06-06 |
Simon Forman | Bunch of minor docs edits.
|
commit | commitdiff | tree |
| 2018-06-06 |
Simon Forman | Minor docs edit.
|
commit | commitdiff | tree |
| 2018-06-06 |
Simon Forman | Minor docs edits.
|
commit | commitdiff | tree |
| 2018-06-06 |
Simon Forman | Minor docs cleanup.
|
commit | commitdiff | tree |
| 2018-06-06 |
Simon Forman | Bumped version to 0.2.0; docs edits.
|
commit | commitdiff | tree |
| 2018-06-06 |
Simon Forman | Minor docs edits.
|
commit | commitdiff | tree |
| 2018-06-06 |
Simon Forman | Added cond and cmp to library.
|
commit | commitdiff | tree |
| 2018-06-06 |
Simon Forman | Regenerated docs.
|
commit | commitdiff | tree |
| 2018-06-06 |
Simon Forman | More docs.
|
commit | commitdiff | tree |
| 2018-05-29 |
Simon Forman | Working on tree docs.
|
commit | commitdiff | tree |
| 2018-05-08 |
Simon Forman | Editing Trees; implemented BTree-Delete.
|
commit | commitdiff | tree |
| 2018-05-01 |
Simon Forman | Still working towards v0.1.1 docs.
|
commit | commitdiff | tree |
| 2018-04-30 |
Simon Forman | Adding params to the docstrings.
|
commit | commitdiff | tree |
| 2018-04-30 |
Simon Forman | More docs changes.
|
commit | commitdiff | tree |
| 2018-04-28 |
Simon Forman | Missed the notebooks *.html files.
|
commit | commitdiff | tree |
| 2018-04-28 |
Simon Forman | More docs
|
commit | commitdiff | tree |
| 2018-04-27 |
Simon Forman | Still working towards v0.1.1.
|
commit | commitdiff | tree |
| 2018-04-26 |
Simon Forman | Working on docs.
|
commit | commitdiff | tree |
| next |
OSDN Git Service
