~marc-coiffier/BHR

Build documentation in CI
Added a CI file for SourceHut
Merge newer version
Update on sam. 03 févr. 2024 12:38:06 CET
f978fa3c — Marc Coiffier 4 years ago
Tweak the 'scripts/ci/pages' script
e3667cf8 — Marc Coiffier 4 years ago
Start defining an explicit representation of inductive Church encodings for the 'mu' combinator
015640da — Marc Coiffier 4 years ago
Use the safer Foreign.Concurrent.ForeignPtr with the GTK bindings in definitive-graphics
cf2e953c — Marc Coiffier 4 years ago
Rename the ContextTerm type into NormalTerm, for clarity
31fb5a94 — Marc Coiffier 4 years ago
Make the notion of "term in context" more explicit in CaPriCon
677b5fbe — Marc Coiffier 4 years ago
Correct the De Bruijn indices when inferring (and printing) the types and values of partially-applied 'mu' combinators
597d6d65 — Marc Coiffier 4 years ago
Update the changelogs
665f8e4b — Marc Coiffier 4 years ago
Correct the 'substitute' and 'intro before' builtins
558d53b8 — Marc Coiffier 4 years ago
Implement a URI scheme handler for running curly:// URLs
32de1dd3 — Marc Coiffier 4 years ago
Start using Git as a changelog-tracking system, too (why not ?)

A new script, naively named 'changelog', can now use the information
from release tags and commit notes to produce a full changelog for any
package.

A commit message can be added to a changelog by adding a note
containing the word 'changelog-<packageName>'.
92042b21 — Marc Coiffier 4 years ago
Start updating the CaPriCon interpreter to enable "automatic universes"
6b457fd3 — Marc Coiffier 4 years ago
Implement a new kind of "quiet" mustache in CaPriCon, to allow precise formatting commands to be inserted into a document
3b7c5fde — Marc Coiffier 4 years ago
Correct the capricon library so that Haste can understand it
6255b2d5 — Marc Coiffier 4 years ago
Upend the CaPriCon rendering pipeline, to allow for multiple output backends (for now, HTML and LaTeX)
6d0b2858 — Marc Coiffier 4 years ago
Correct the behavior `type_of` function, causing it to fail on ill-typed terms instead of falsely succeeding

It was useful for debugging, though...
4fd8103f — Marc Coiffier 4 years ago
Rename the WiQEE.js executable into the more appropriate capricon-engine.js, since the main UI logic was moved to a dedicated library
Next