Build documentation in CI
Added a CI file for SourceHut
Update on sam. 03 févr. 2024 12:38:06 CET
Tweak the 'scripts/ci/pages' script
Start defining an explicit representation of inductive Church encodings for the 'mu' combinator
Use the safer Foreign.Concurrent.ForeignPtr with the GTK bindings in definitive-graphics
Rename the ContextTerm type into NormalTerm, for clarity
Make the notion of "term in context" more explicit in CaPriCon
Correct the De Bruijn indices when inferring (and printing) the types and values of partially-applied 'mu' combinators
Correct the 'substitute' and 'intro before' builtins
Implement a URI scheme handler for running curly:// URLs
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
A commit message can be added to a changelog by adding a note
containing the word 'changelog-<packageName>'.
Start updating the CaPriCon interpreter to enable "automatic universes"
Implement a new kind of "quiet" mustache in CaPriCon, to allow precise formatting commands to be inserted into a document
Correct the capricon library so that Haste can understand it
Upend the CaPriCon rendering pipeline, to allow for multiple output backends (for now, HTML and LaTeX)
Correct the behavior `type_of` function, causing it to fail on ill-typed terms instead of falsely succeeding
It was useful for debugging, though...
Rename the WiQEE.js executable into the more appropriate capricon-engine.js, since the main UI logic was moved to a dedicated library