sforman
/
Thun
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Commit Graph

  • 36fa5ee151 Very minor cleanup. Simon Forman 2019-04-26 22:13:45 -0700
  • 58e46a9809 Treat defs in thun/3 relation. Simon Forman 2019-04-26 21:58:15 -0700
  • b27adb7e1c Remove some trailing blankspace. Simon Forman 2018-11-28 13:00:03 -0800
  • 343812dac6 I just want to publish this right quick. Simon Forman 2018-08-24 17:05:42 -0700
  • e573d7a3dc The Prolog version of Joy. Simon Forman 2018-08-24 16:52:00 -0700
  • 3b0b7659b3 A bunch of docs. Simon Forman 2018-08-24 16:48:15 -0700
  • 3e6a49ac27 The version of Python with Anaconda is lightly newer. Simon Forman 2018-08-24 16:46:18 -0700
  • c88e00ecd0 Add binary functions. Simon Forman 2018-08-02 14:22:42 -0700
  • dae5126bfc In progress.. Simon Forman 2018-08-01 12:26:50 -0700
  • 5974c516d1 Working on compiler. Simon Forman 2018-08-01 10:59:07 -0700
  • f2425ae1ae Minor UI bugs. Simon Forman 2018-07-22 11:53:02 -0700
  • 79a653c08b Oh python, oh unicode. Simon Forman 2018-07-22 11:51:47 -0700
  • 4ed8422258 Load JOY_HOME/definitions.txt Simon Forman 2018-07-22 11:50:34 -0700
  • 17b9fba65e TEXT_BINDINGS stay in textwidget.py. Simon Forman 2018-07-22 10:14:45 -0700
  • f96362a904 Rework the default JOY_HOME contents. Simon Forman 2018-07-21 20:19:38 -0700
  • 33a952ff71 Config file and CLI arg parser. Simon Forman 2018-07-21 17:56:53 -0700
  • ca06c626e1 Loop and while combinators. Simon Forman 2018-07-20 12:33:06 -0700
  • b89754a30b Futzing with types. Simon Forman 2018-07-19 15:37:35 -0700
  • 008b74aef8 Getting back to parity after jumble. Simon Forman 2018-07-19 15:18:42 -0700
  • dea6cbc8c2 Working to get types right. Simon Forman 2018-07-19 12:38:19 -0700
  • 6576e1a431 Fix TextJoyType inheritance. Simon Forman 2018-07-18 17:47:19 -0700
  • 49941f9a33 Log types at startup. Simon Forman 2018-07-18 17:06:51 -0700
  • 1e8c196c5b Add some logging. Simon Forman 2018-07-18 16:14:32 -0700
  • 3c27fab071 Cache the results of type checking. Simon Forman 2018-07-18 16:13:57 -0700
  • 8ad4ab791b Removing polytypes; some pylint hints. Simon Forman 2018-07-18 14:55:39 -0700
  • 7607ca7650 Definitions infer stack effects. Simon Forman 2018-07-17 20:52:57 -0700
  • c9f405fbe9 Nearly there maybe, maybe not. Simon Forman 2018-07-17 20:09:17 -0700
  • 73d19b1f3d Moving right along. Simon Forman 2018-07-17 17:12:27 -0700
  • c2dd7cca0a So fra, so good... Simon Forman 2018-07-17 12:43:24 -0700
  • 25b7871074 i got used to it, but Jupyter likes 4 Simon Forman 2018-07-17 10:49:09 -0700
  • 14d67dd7c5 in the middle, just want to 2ify my indents... Simon Forman 2018-07-17 10:47:50 -0700
  • 0029656351 TextJoyType and inscribe command. Simon Forman 2018-07-17 10:35:11 -0700
  • d9d52fa224 A few more stack effects. Simon Forman 2018-07-16 20:28:53 -0700
  • 3551b6148b expectations_of_definition() and some helper infer funcs. Simon Forman 2018-07-16 19:10:16 -0700
  • 043acd685c More stack effects, and modify the key bindings. Simon Forman 2018-07-16 18:43:40 -0700
  • 612d48d8cc Update docs. Simon Forman 2018-07-16 09:11:25 -0700
  • 230134e6c2 Make sure we've got all the docs, etc. Simon Forman 2018-07-15 20:43:26 -0700
  • cf12b9ce17 Fix bugs Simon Forman 2018-07-15 20:37:52 -0700
  • c4af5682c4 That "fix" wasn't a fix. Simon Forman 2018-07-15 14:06:10 -0700
  • 20d87db9d5 Fix up stacks for type checking. Simon Forman 2018-07-15 13:57:11 -0700
  • e169c6aae2 Some integration with Type Checking. Simon Forman 2018-07-15 11:48:08 -0700
  • 0292e8a297 Much globals. Wow. Simon Forman 2018-07-14 20:58:43 -0700
  • 7899d68bab Minor cleanup. Simon Forman 2018-07-14 20:55:34 -0700
  • ebb731126d Move load_stack() to StackDisplayWorld. Simon Forman 2018-07-14 20:47:04 -0700
  • da03f60dca Move StackDisplayWorld into world.py Simon Forman 2018-07-14 19:51:31 -0700
  • ea11fbebda Move reset() to text method. Simon Forman 2018-07-14 19:34:01 -0700
  • 8bbf4fc2bf Correct some typo Simon Forman 2018-07-14 19:14:01 -0700
  • 6fe83256b1 Move init_text() to Text method. Simon Forman 2018-07-14 19:11:49 -0700
  • a84966cf9b Split some code into a utils.py module. Simon Forman 2018-07-14 18:51:22 -0700
  • 4fb9e1e003 Minor cleanup. Simon Forman 2018-07-14 18:41:36 -0700
  • 9ea0157969 Partial harmonize key commands. Simon Forman 2018-07-14 18:25:12 -0700
  • 504981e551 Updated manifest file. Simon Forman 2018-07-14 13:01:43 -0700
  • 862e0b07a8 It's time to bring in the GUI. Simon Forman 2018-07-14 12:45:52 -0700
  • 691d604bf8 Temporarily ignore the test dir. Simon Forman 2018-07-14 12:32:07 -0700
  • c83efb2aee Module dependency graphs. Simon Forman 2018-07-14 12:30:45 -0700
  • 54491f0da2 A little more bit o' docs. Simon Forman 2018-07-14 12:29:25 -0700
  • 41b39e5977 A bit more docs. Simon Forman 2018-07-14 12:07:49 -0700
  • f8829e25fa A little more documentation. Simon Forman 2018-07-11 07:13:05 -0700
  • fcf483af22 Ah, Symbols. Simon Forman 2018-07-11 07:12:14 -0700
  • 343a2f8459 Unicode in docstring. Simon Forman 2018-07-11 07:11:56 -0700
  • 0980d1b7c9 ifte as definition; "fork" combinator. Simon Forman 2018-07-11 07:10:54 -0700
  • d95b92314e Clean up. Simon Forman 2018-07-06 14:20:04 -0700
  • 1862ece03e Adding support for type checking. Simon Forman 2018-07-06 14:19:36 -0700
  • 531e215ffd Another definition for while. Simon Forman 2018-07-06 14:19:00 -0700
  • ab8ec6c95d Minor cleanup. Simon Forman 2018-07-04 10:37:43 -0700
  • 4fff827338 Extra logging and another lil test. Simon Forman 2018-06-30 23:20:00 -0700
  • ab1f5227ba Hmm. Simon Forman 2018-06-30 12:59:14 -0700
  • 4406a6620b Type inference of Joy expressions. Simon Forman 2018-06-29 13:19:12 -0700
  • 6ca59847ab Gotta update() expression too. Simon Forman 2018-06-27 22:26:27 -0700
  • fc45727008 Minor cleanup. Simon Forman 2018-06-27 19:03:23 -0700
  • 9ee50a6268 Minor edits. Simon Forman 2018-06-27 16:31:00 -0700
  • 4321ea874b don't compose lits Simon Forman 2018-06-26 22:39:06 -0700
  • db28989b64 Trying to add a guard to combinators. Simon Forman 2018-06-26 21:45:58 -0700
  • bbc0fae2e9 Minor edits. Simon Forman 2018-06-26 21:44:18 -0700
  • 56262fc53e Dropped some HTML docs somehow. Simon Forman 2018-06-26 15:58:18 -0700
  • eb739024eb Type checking, initial work. Simon Forman 2018-06-26 15:23:51 -0700
  • 705c95ee28 Fix a couple of bug in Kleene Stars. Simon Forman 2018-06-25 12:43:05 -0700
  • 41d979b233 A bit more text in the Types notebook. Simon Forman 2018-06-25 11:32:27 -0700
  • f1979f35ce Some more tests. Simon Forman 2018-06-25 06:51:12 -0700
  • baae1a5b36 Change name of kav() to infer(). Simon Forman 2018-06-24 18:48:22 -0700
  • ad83e1607e Writing tests. Simon Forman 2018-06-24 18:44:29 -0700
  • d874b2a134 Minor cleanup. Simon Forman 2018-06-24 18:39:46 -0700
  • 1aace53fa0 Infencer/Interpreter hybrid and Kleene Star types. Simon Forman 2018-06-24 16:33:07 -0700
  • 968556c7f3 Simple type inference and compiler. Simon Forman 2018-06-21 21:23:34 -0700
  • ca05ea404a Bunches of new docs. Simon Forman 2018-06-21 21:13:50 -0700
  • 049cfd22b7 Elegant definitions for un-, bin-, tern-ary combinators. Simon Forman 2018-06-13 10:24:36 -0700
  • 33f34dd15b Rename pushback() to concat(). Simon Forman 2018-06-13 10:17:46 -0700
  • ac56b0f03c Removing old html. Simon Forman 2018-06-08 13:22:13 -0700
  • 0264efdda6 Rebuild html. Simon Forman 2018-06-08 13:17:36 -0700
  • b98e9f2107 The Hylos notebook is not ready for public yet. Simon Forman 2018-06-08 13:05:59 -0700
  • f5fe7d9726 Move notebook rst files to sphinx subdir. Simon Forman 2018-06-07 12:48:24 -0700
  • abdece348f Spaces in filenames noooo. Simon Forman 2018-06-07 12:42:15 -0700
  • 507d045a3d Cleaning up docs. Simon Forman 2018-06-07 12:37:32 -0700
  • 956d849c8a Toplevel makefile docs target uses docs makefile. Simon Forman 2018-06-06 13:33:04 -0700
  • 989e48c155 Only (re)make changed notebooks. Simon Forman 2018-06-06 13:27:51 -0700
  • d050180b88 Some docs that got swept up in the commotion. Simon Forman 2018-06-06 13:08:04 -0700
  • 36b770f000 Make hates spaces in file names. Simon Forman 2018-06-06 13:07:31 -0700
  • 81919c4bbe Make cannot deal with spaces in filenames. Simon Forman 2018-06-06 12:57:12 -0700
  • 8a0a5e9f30 I want to re-make only edited notebooks. Simon Forman 2018-06-06 12:48:16 -0700
  • 09276fdc13 Bunch of minor docs edits. Simon Forman 2018-06-06 12:47:11 -0700