OSDN Git Service

joypy/Thun.git
2020-01-26 Simon FormanProper types, checking, inference.
2020-01-26 Simon FormanDon't assert defs twice.
2020-01-25 Simon FormanChange back to CLP(FD) semantics.
2020-01-25 Simon FormanDocs and minor cleanup to the grammar.
2019-12-03 Simon FormanMinor cleanup.
2019-12-02 Simon FormanMake parser REs into module-level "constants".
2019-12-02 Simon FormanSome helper scripts for windows.
2019-12-02 Simon FormanMinor docs update.
2019-11-28 Simon FormanDebugging this sucks.
2019-11-14 Simon FormanEmit a sort of symbol table.
2019-11-13 Simon Forman4 is already an offset
2019-11-13 Simon FormanDefinitions.
2019-11-13 Simon Forman"swap" word.
2019-11-12 Simon Forman"new" word.
2019-11-12 Simon FormanRefactor sub_base_merge_and_store.
2019-11-12 Simon Formandup cons i
2019-11-12 Simon FormanForgot to "return" from i combinator.
2019-11-12 Simon FormanEven "nicer".
2019-11-12 Simon FormanCharming.
2019-11-12 Simon Formandexpr//1
2019-11-12 Simon FormanThe i combinator.
2019-11-11 Simon Formanhead_addr
2019-11-11 Simon FormanSimple push of empty list.
2019-11-10 Simon FormanDup.
2019-11-10 Simon Formanhalt.
2019-11-10 Simon Formanword works with negative numbers now.
2019-11-10 Simon Formanmerge_and_store, chain_link
2019-11-10 Simon FormanMinor refactor.
2019-11-10 Simon FormanPass through label.
2019-11-10 Simon Formanif_literal and lookup
2019-11-10 Simon Formanincr stack
2019-11-10 Simon FormanRefactoring and cleanup.
2019-11-10 Simon Formanload
2019-11-09 Simon FormanBleah.
2019-11-09 Simon FormanBase address in unpack_pair.
2019-11-09 Simon Formanunpack_pair
2019-11-09 Simon FormanMinor refactor.
2019-11-09 Simon FormanRefactoring, with oddball quoting "symbols".
2019-11-09 Simon FormanThat works nicely, again.
2019-11-09 Simon FormanConvert to ? DCG and it's macro-time!
2019-11-09 Simon FormanI think that does it for cons.
2019-11-09 Simon FormanThat's the mainloop converted to permit negative offsets.
2019-11-09 Simon FormanMinor cleanup, bug fixes.
2019-11-08 Simon FormanMinor bugfix.
2019-11-08 Simon FormanCons
2019-11-08 Simon FormanJust do it in asm.
2019-11-08 Simon Formanhmm...
2019-11-08 Simon FormanWIth push2 finished that's the mainloop converted.
2019-11-08 Simon Formanlookup
2019-11-08 Simon Formanif_literal
2019-11-07 Simon FormanA start on converting the mainloop.
2019-11-07 Simon FormanTake two on the compiler.
2019-11-07 Simon FormanMinor cleanup.
2019-11-07 Simon FormanModify error reporting a lil; words word.
2019-11-07 Simon FormanDefinition of ii combinator.
2019-11-07 Simon FormanCall for_serial/2
2019-08-22 Simon FormanUsing partial deduction to inline literals, functions...
2019-08-21 Simon Formanminor cleanup
2019-08-20 Simon Formansmall func recognizes [] and [X].
2019-08-18 Simon FormanRename bar to korf and some docs.
2019-08-18 Simon Formanminor cleanup
2019-08-18 Simon Formanreintroduce definition of fork; it doesn't shadow func...
2019-08-18 Simon Formanread child output after local thun/3
2019-08-18 Simon Formantruly fork, sort of
2019-08-13 Simon Formanminor cleanup
2019-08-13 Simon FormanMinor cleanup.
2019-08-13 Simon FormanMove DCG stuff to own file.
2019-08-13 Simon FormanParse ints; move line/{1,2} to main.pl.
2019-08-13 Simon FormanParse floating point numbers.
2019-08-13 Simon Formanminor cleanup
2019-08-13 Simon Formanminor cleanup
2019-08-13 Simon FormanNumbers can be followed by space or [.
2019-08-13 Simon FormanParse negative numbers.
2019-08-13 Simon Formanswapd function
2019-08-13 Simon Formanassert_defs/1 got upset about not finding combo/5
2019-08-13 Simon FormanMinor cleanup of the parser.
2019-08-13 Simon Formanrework parser DCGs
2019-08-13 Simon FormanOops! Regression.
2019-08-13 Simon Formanminor cleanup
2019-08-13 Simon Formanswoncat and fiddling with parser.
2019-08-12 Simon FormanExperiment with putting logic vars on the stack.
2019-08-12 Simon FormanRemove a cut that sucked.
2019-08-12 Simon Formanunstack, least_fraction
2019-08-12 Simon FormanCopyright notices.
2019-08-12 Simon FormanThe sqrt/1 predicate wasn't working.
2019-08-12 Simon FormanMultifile func/3.
2019-08-12 Simon FormanBuild math & comparision functions.
2019-08-12 Simon FormanClean up REPL formatting.
2019-08-11 Simon FormanDon't shadow funcs and combos.
2019-08-11 Simon FormanDon't shadow funcs & combos.
2019-08-11 Simon FormanExtract mainloop to own file.
2019-08-11 Simon FormanUse double-quoted string for codes.
2019-08-11 Simon Formancleanup old files
2019-08-11 Simon FormanBuild defs.pl from defs.txt.
2019-08-11 Simon Formanbuild defs.pl
2019-08-11 Simon Formanbuild defs.pl
2019-08-11 Simon FormanMove parser to own file.
2019-08-11 Simon Formanmap combo
2019-08-11 Simon FormanBring in funcs and combos.
2019-08-11 Simon FormanOmit Prolog toplevel.
next