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

Commit Graph

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