git.osdn.net Git - joypy/Thun.git/search

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
2018-04-26	Simon Forman	Remove a couple of docs.	commit \| commitdiff \| tree
2018-04-26	Simon Forman	Notebooks in Sphinx?	commit \| commitdiff \| tree
2018-04-26	Simon Forman	Somehow these didn't get added earlier.	commit \| commitdiff \| tree
2018-04-26	Simon Forman	Bump version to 0.1.1	commit \| commitdiff \| tree
2018-04-25	Simon Forman	Include Sphinx-built HTML.	commit \| commitdiff \| tree
2018-04-25	Simon Forman	Editing Sphinx docs.	commit \| commitdiff \| tree
2018-04-25	Simon Forman	ReST docs & library edits for Sphinx	commit \| commitdiff \| tree
2018-04-25	Simon Forman	Working on the Sphinx docs.	commit \| commitdiff \| tree
2018-04-23	Simon Forman	Sphinx docs coming along.	commit \| commitdiff \| tree
2018-04-23	Simon Forman	Messing with Sphinx.	commit \| commitdiff \| tree
2018-04-22	Simon Forman	Let's try Sphinx...	commit \| commitdiff \| tree
next

Interpreter and library.

RSS Atom

About OSDN

Find Software

Develop Software

Help