Commit Graph

Select branches

Hide Pull Requests

one_ref

trunk

Mono Color

• 7a4e58fe15 Copyright notices. Simon Forman 2019-08-11 19:41:11 -07:00
• afec650c7b The sqrt/1 predicate wasn't working. Simon Forman 2019-08-11 19:35:05 -07:00
• 79aa2f972d Multifile func/3. Simon Forman 2019-08-11 18:45:57 -07:00
• cd60816429 Build math & comparision functions. Simon Forman 2019-08-11 17:48:29 -07:00
• ab454375c0 Clean up REPL formatting. Simon Forman 2019-08-11 17:00:38 -07:00
• 4d33f32674 Don't shadow funcs and combos. Simon Forman 2019-08-11 15:12:56 -07:00
• adf0e96f84 Don't shadow funcs & combos. Simon Forman 2019-08-11 14:56:20 -07:00
• 9e180e8173 Extract mainloop to own file. Simon Forman 2019-08-11 14:51:13 -07:00
• 6bc1b5ec8b Use double-quoted string for codes. Simon Forman 2019-08-10 22:21:57 -07:00
• f6705f3fa0 cleanup old files Simon Forman 2019-08-10 22:07:17 -07:00
• e49b0b70cb Build defs.pl from defs.txt. Simon Forman 2019-08-10 22:03:44 -07:00
• 90bccece6a build defs.pl Simon Forman 2019-08-10 21:46:48 -07:00
• 731c59088e build defs.pl Simon Forman 2019-08-10 21:45:59 -07:00
• 32e77f6d73 Move parser to own file. Simon Forman 2019-08-10 20:57:11 -07:00
• 3af9e7e174 map combo Simon Forman 2019-08-10 20:42:48 -07:00
• c8c1df8d88 Bring in funcs and combos. Simon Forman 2019-08-10 20:12:41 -07:00
• ab587beaa9 Omit Prolog toplevel. Simon Forman 2019-08-10 20:06:12 -07:00
• dc5737eb45 Do not need thses files. Simon Forman 2019-08-10 20:03:52 -07:00
• 1d31ca99c3 Fold in parser, main loop, and support. Simon Forman 2019-08-10 19:57:00 -07:00
• fd5f54992a Rename foo to thun. Simon Forman 2019-08-10 19:25:48 -07:00
• 1ce9544bcc Make a version for GNU Prolog compiler. Simon Forman 2019-08-10 12:19:09 -07:00
• 10a23c5c68 Also don't shadow combinators. Simon Forman 2019-08-09 16:58:34 -07:00
• cbf2af18e5 Prevent definitions from shadowing functions. Simon Forman 2019-08-09 16:53:40 -07:00
• 49491bceef Demo grow/shrink. Simon Forman 2019-08-09 16:37:33 -07:00
• df5ddb8ad9 Some trailing whitespace or something. Simon Forman 2019-08-09 09:28:15 -07:00
• b9ae00cecb A few more functions. Simon Forman 2019-08-09 07:26:37 -07:00
• 712f0a0267 merge Simon Forman 2019-08-07 23:36:38 -07:00
• 976b8302be grow/shrink as DCGs. Simon Forman 2019-08-07 23:28:28 -07:00
• 4ea77cf1be Integer DCGs that work in both directions. Simon Forman 2019-08-07 11:40:49 -07:00
• 0048ee212d loop combinator handles ambiguity. Simon Forman 2019-08-04 09:28:01 -07:00
• a3f863ff18 Move is_numerical() to joy.gui.utils. Simon Forman 2019-08-03 19:02:24 -07:00
• 177d6cd433 Experiment in formatting stacks for output. Simon Forman 2019-08-03 19:01:45 -07:00
• 3b1a89d1c4 Minor refactor. Simon Forman 2019-08-03 19:01:00 -07:00
• cb0078f3bc Gnarly fun with metaprogramming. Simon Forman 2019-08-03 17:56:25 -07:00
• 6a94c12b9b Get the path separator right on windows. Simon Forman 2019-08-02 18:30:43 -07:00
• 2ba9242b76 Comparisions are literals too. Simon Forman 2019-07-22 10:25:34 -07:00
• 97a99ac3c4 Bits of formatting. Simon Forman 2019-07-22 10:04:32 -07:00
• df94c8feed Minor cleanup. Simon Forman 2019-07-21 18:48:11 -07:00
• 66d8a3be47 Remove write_state/5. Simon Forman 2019-07-21 17:56:34 -07:00
• 6818abb3ce Build a list of the moves taken. Simon Forman 2019-07-21 17:55:19 -07:00
• 523cb3913b Refactor a bit. Simon Forman 2019-07-21 17:25:22 -07:00
• c1442945a6 Assert definitions as they are read. Simon Forman 2019-07-21 14:13:48 -07:00
• 482ac3023e Messing with TLA+ in Prolog. Simon Forman 2019-07-21 11:50:27 -07:00
• 32d5953f29 Implement map combinator. Simon Forman 2019-07-21 08:28:56 -07:00
• 84a2de7790 Tiny edits. Almost nothing. Simon Forman 2019-07-21 07:32:20 -07:00
• 1b5d1c0b82 Remove cuts from branch combinator. Simon Forman 2019-07-20 19:34:56 -07:00
• 206f49598e Add mod, gcd, and hypot; term_expansion for math ops. Simon Forman 2019-07-20 19:26:11 -07:00
• ae769d2341 Fold try_both_branches/4 into branch combo. Simon Forman 2019-07-20 17:36:58 -07:00
• 230288c02c Replace ? with plain ol' def/2. Simon Forman 2019-07-20 17:32:03 -07:00
• 7354911d05 WTF error handler. Simon Forman 2019-07-20 17:19:35 -07:00
• 2a66e7fb47 If I comment out the WTF handler... Simon Forman 2019-07-20 16:57:19 -07:00
• 714bf2cab6 Try to handle expressions in branch combinator. Simon Forman 2019-07-20 16:45:28 -07:00
• c676dce2f9 Handle exceptions in comparison ops. Simon Forman 2019-07-20 16:38:48 -07:00
• 47ae7b2328 More readable genrec. Simon Forman 2019-07-16 09:53:48 -07:00
• efeaa7b8e1 A little helper function to see compiled expressions. Simon Forman 2019-07-16 09:46:55 -07:00
• 6d92b8801f Clear out CLP(FD) functions. Simon Forman 2019-07-16 08:59:24 -07:00
• 731b49973c Opps! Here's the implementation of bool. Simon Forman 2019-07-16 08:42:45 -07:00
• c4c6ece6d2 Add bool function to mimic Python semantics. Simon Forman 2019-07-16 08:41:28 -07:00
• 06b81914eb Change comparison ops to not use CLP(FD). Simon Forman 2019-07-15 23:02:08 -07:00
• 84584a949c Implement genrec combinator. Simon Forman 2019-07-15 20:55:41 -07:00
• 2baf3b89ce Minor cleanup of defs. Simon Forman 2019-07-15 20:55:11 -07:00
• 9ebc64541a Move all definitions to defs.txt. Simon Forman 2019-07-15 16:11:49 -07:00
• ee395e91f1 Retract previous definitions before asserting new ones. Simon Forman 2019-07-15 16:01:59 -07:00
• 4fefc04da3 Load definitions from a file. Simon Forman 2019-07-15 15:53:07 -07:00
• 0359cd64c7 Very minor docs change. Simon Forman 2019-07-15 15:50:22 -07:00
• 087c141c72 Parse joy definitions from text. Simon Forman 2019-07-15 12:53:48 -07:00
• 166355dccf New combinator infrst == infra first Simon Forman 2019-07-15 12:28:01 -07:00
• 4ea1a5527e nullary combinator as definition. Simon Forman 2019-07-15 11:20:13 -07:00
• d3313ce4a7 Infra as definition. Simon Forman 2019-07-14 23:02:10 -07:00
• 9f1e75313b Reimplement app1 and app2 as definitions. Simon Forman 2019-07-14 22:48:18 -07:00
• f227cf0a57 Got enough definitions, sort them. Simon Forman 2019-07-14 21:58:20 -07:00
• a90568e208 Switch to symbolic math (from CLP(FD).) Simon Forman 2019-07-14 21:14:50 -07:00
• e0d8910242 Docs on Start Up Sequence Simon Forman 2019-05-07 23:23:53 -07:00
• 21b69ea260 Stop hg ignoring the build dir. Simon Forman 2019-05-07 17:45:39 -07:00
• 4f5caf4ab3 More docs... Simon Forman 2019-05-07 13:49:27 -07:00
• 13515b071b A bit more on the docs. Simon Forman 2019-05-07 10:23:43 -07:00
• 028ecc0287 Move VUI package/module graph. Simon Forman 2019-05-07 10:00:52 -07:00
• edda5ed04c screenshot Simon Forman 2019-05-06 23:06:36 -07:00
• 663ddab7a7 A start on docs for VUI. Simon Forman 2019-05-06 23:05:50 -07:00
• 3b09f9c356 Welcome to the Sphinx 1.8.5 quickstart utility. Simon Forman 2019-05-06 19:43:36 -07:00
• 5dd13ba8c6 Rebuilt MANIFEST file. Simon Forman 2019-05-06 19:08:48 -07:00
• f236be510a Use ~/.thun instead of ~/.joypy as default JOY_HOME. Simon Forman 2019-05-06 13:54:55 -07:00
• b3a79df9a9 Well, that seems to work. Simon Forman 2019-05-06 13:32:08 -07:00
• bae676dd42 Update initial joy home dir contents BLOB. Simon Forman 2019-05-06 13:28:44 -07:00
• 9292d00534 Update imports, copyright notices. Simon Forman 2019-05-06 13:26:07 -07:00
• d3b413493f Some images generated by pyreverse or whatever. Simon Forman 2019-05-06 13:09:45 -07:00
• d4fdde50f9 Initial bring over of VUI code. (Won't work yet.) Simon Forman 2019-05-06 13:07:01 -07:00
• 67f042cc57 See https://www.metalevel.at/acomip/ Simon Forman 2019-05-06 12:47:30 -07:00
• 0da935ed94 Minor cleanup. Simon Forman 2019-05-04 07:53:02 -07:00
• 6c94313061 Change name from alpha to tmi. Simon Forman 2019-05-04 06:57:14 -07:00
• 8ca86d3d35 A Tracing Meta-Interpreter for Thun Simon Forman 2019-05-03 15:21:29 -07:00
• a95c3cec69 Some docs, and a thing to print out the dictionary after compilation. Simon Forman 2019-05-03 15:21:06 -07:00
• d083c3b6e6 Minor cleanup and comments. Simon Forman 2019-05-02 20:39:30 -07:00
• f5fb01bf69 linker//1 works on ASM not IR. (rename variable) Simon Forman 2019-05-02 12:41:23 -07:00
• 12fadfb573 Add some comments, minor rearrangement. Simon Forman 2019-05-02 12:33:52 -07:00
• ece12bac00 Make get//1 handle lists of pairs which it passes off to get//2. Simon Forman 2019-05-02 10:18:58 -07:00
• 4e70fdd67b Minor cleanup. Simon Forman 2019-05-02 08:38:15 -07:00
• fe795704a6 Minor cleanup. Simon Forman 2019-05-01 21:55:46 -07:00
• d488db6abd binary_number/2 is more efficient if you strip off 0's first. Simon Forman 2019-04-28 08:16:38 -07:00
• 67112de952 Bring in the (sort of) compiler. Simon Forman 2019-04-28 07:59:47 -07:00