aboutsummaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
drop-journalfix testsMarcos Magueta4 weeks
indexesdocs for hashed index keys, merged restrictions and narrower where modesMarcos Magueta7 days
initInit system sketchesEstevan Castilho14 hours
journaljournal for the websiteMarcos Magueta5 weeks
karuta-subsystemdriver due to the lack of an init system for headless runMarcos Magueta8 days
lifecycle-ergonomicsStyleEstevan Castilho4 weeks
masterbeam subsystem hack for karuta execution under internal nodeMarcos Magueta8 days
relation-bipartite-registrationFOL test with program instantiationMarcos Magueta5 weeks
sakura-karuta-contractbound queries from sakuraMarcos Magueta12 hours
sessionfollow only a snapshot instead of the dead branchMarcos Magueta6 weeks
[...]
 
 
AgeCommit messageAuthorFilesLines
12 hoursbound queries from sakurasakura-karuta-contractMarcos Magueta4-47/+159
8 daysbeam subsystem hack for karuta execution under internal nodeHEADmasterMarcos Magueta13-15/+710
2026-10-24Use finger trees in more placesEstevan Castilho9-25/+34
2026-10-24Monadic `concat_mapm`Estevan Castilho2-3/+5
2026-10-24Steal a `concat_map` implementation from KarutaEstevan Castilho2-0/+5
2026-10-24Steal a `filter_map` implementation from KarutaEstevan Castilho2-0/+7
2026-10-23change call sites DirectoryMarcos Magueta3-4/+4
2026-10-23move directory out of prototypeMarcos Magueta4-15/+12
2026-10-24FormattingEstevan Castilho14-56/+48
2026-10-24Avoid implementing `Directory` inline?Estevan Castilho3-20/+14
[...]
 
Clone
git@src.symbolic.engineering:RNT.git