OSDN Git Service

Use slightly smaller font files.
[joypy/Thun.git] / docs /
2023-10-04 sformanUse slightly smaller font files. one_ref
2023-10-04 sformanMinor edits.
2023-10-01 sformanTidy?
2023-10-01 sformanA little more work on the ref doc.
2023-09-30 sformanMark combinators.
2023-09-30 sformanBuild the ref doc.
2023-09-29 sformanPut interpreter on pages.
2023-09-29 sformanGive it it's own CSS file.
2023-09-28 sformanremove the individual md ref files
2023-09-28 sformanMinor edits.
2023-09-23 sformanTypo.
2023-09-18 sformanChange definition of uncons.
2023-09-07 sformanUse blob URL.
2023-09-07 sformanAdd grammar image.
2023-08-31 sformanI think Scheme?
2023-08-30 sformanRename BigNums.
2023-08-30 sformanAdd a README to the docs/ dir.
2023-08-29 sformanI just realized these all refer to the old package...
2023-08-26 sformanExample of infra evaluation.
2023-08-26 sformanNote on Variations
2023-08-22 sformanMinor edits.
2023-08-21 sformanFinished up Generator_Programs.md
2023-08-18 sformanMinor CSS changes.
2023-08-18 sformanEdits on BigNums notebook.
2023-08-17 sformanAbout 2/5ths done.
2023-08-16 sformanWorking on the notebooks.
2023-08-14 sformanUpdating notebooks
2023-08-13 sformanWorking on the website for Thun.
2023-08-13 sformancleanup
2023-08-13 sformanPut this over there.
2023-08-13 sformanMinor edits.
2023-07-27 sformanminor cleanup
2023-07-27 sformanWorking on the docs.
2023-07-27 sformanMinor work on the new site.
2023-07-24 sformanMinor edits.
2023-02-15 Simon FormanA start on styling notebooks.
2023-02-15 Simon FormanMinor updates to README file.
2023-02-14 Simon FormanMinor edits.
2023-02-14 Simon FormanUpdating the README a little.
2023-02-13 Simon FormanMinor cleanup.
2023-02-12 Simon Formanminor cleanup
2023-02-10 Simon Formanminor cleanup
2023-02-01 Simon FormanSome notebooks.
2022-10-16 Simon FormanThis and that.
2022-10-15 Simon FormanCleanup and refactoring.
2022-10-15 Simon FormanThat seems to work: addition and subtraction.
2022-10-15 Simon FormanMostly done with addition and subtraction.
2022-10-15 Simon FormanNot quite as smooth as I'd hoped.
2022-10-15 Simon FormanSubtraction seems to work now.
2022-10-14 Simon FormanProgress.
2022-10-11 Simon FormanAdding like-sign bigints in Joy.
2022-10-11 Simon FormanMinor cleanup.
2022-10-11 Simon FormanAdd two lists of digits.
2022-10-11 Simon FormanI think I got it.
2022-10-11 Simon FormanDang it...
2022-10-04 Simon FormanMinor cleanup.
2022-10-04 Simon FormanFix import.
2022-09-29 Simon FormanInitial outline for a talk on Joy.
2022-09-20 Simon FormanMinor cleanup.
2022-09-20 Simon FormanAdd trace word back in.
2022-09-19 Simon FormanAdd a flowchart for the interpreter.
2022-09-17 Simon FormanFixed bug in appN
2022-09-17 Simon FormanRemove old docs.
2022-09-16 Simon FormanA bit more docs.
2022-09-16 Simon FormanGot back the LI for lower-cased title notebooks.
2022-09-16 Simon FormanWhence fun_with_scan and with_sympy?
2022-09-16 Simon FormanCleaning up docs.
2022-09-16 Simon FormanThe (crude) site.
2022-09-16 Simon FormanFunction Reference
2022-09-16 Simon Forman bits and pieces
2022-09-16 Simon FormanRework docs, simpler (no Sphinx.)
2022-09-16 Simon Formandelete all the extra notebook conversions
2022-09-08 Simon FormanThat doesn't go there.
2022-09-07 Simon FormanMisc cruft.
2022-09-07 Simon FormanSimple Joy
2022-09-06 Simon FormanRemove psaces from some filenames.
2022-08-16 Simon FormanRebuild HTML docs.
2022-08-16 Simon FormanA good talk.
2022-08-15 Simon FormanMinor edits.
2022-03-31 Simon FormanRebuild HTML docs.
2022-03-30 Simon FormanSidebar links should be a little farther apart.
2022-03-30 Simon FormanI want to override some CSS.
2022-03-29 Simon FormanAnd the rest.
2022-03-29 Simon FormanT's and U's.
2022-03-29 Simon FormanThe rest of the S's.
2022-03-29 Simon FormanQ, R's and some S's.
2022-03-27 Simon FormanAnd there are the P's.
2022-03-27 Simon FormanThe O's.
2022-03-27 Simon FormanThe N's.
2022-03-27 Simon FormanCovered by EXCLAMATION-MARK•HYPHEN-MINUS.md
2022-03-27 Simon FormanThe M's.
2022-03-26 Simon FormanMore misc. ref docs.
2022-03-26 Simon FormanTwo L's.
2022-03-26 Simon FormanThe I's are done.
2022-03-25 Simon Formani and ii
2022-03-25 Simon FormanThe H's.
2022-03-25 Simon FormanThe rest of the G's.
2022-03-25 Simon FormanMost of the G's.
2022-03-25 Simon FormanThat is the F's done.
2022-03-25 Simon FormanMinor cleanup.
next