aboutsummaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
constraintsgenerates_when constraint utilityMarcos Magueta6 weeks
drop-journalfix testsMarcos Magueta4 weeks
indexesdocs for hashed index keys, merged restrictions and narrower where modesMarcos Magueta4 days
journaljournal for the websiteMarcos Magueta4 weeks
karuta-subsystemdriver due to the lack of an init system for headless runMarcos Magueta4 days
lifecycle-ergonomicsStyleEstevan Castilho4 weeks
masterbeam subsystem hack for karuta execution under internal nodeMarcos Magueta4 days
relation-bipartite-registrationFOL test with program instantiationMarcos Magueta5 weeks
relation-registrationFix build, allow users to register relationsEstevan Castilho6 weeks
sessionfollow only a snapshot instead of the dead branchMarcos Magueta5 weeks
[...]
 
 
AgeCommit messageAuthorFilesLines
4 daysbeam subsystem hack for karuta execution under internal nodeHEADmasterMarcos Magueta13-15/+710
11 daysUse finger trees in more placesEstevan Castilho9-25/+34
11 daysMonadic `concat_mapm`Estevan Castilho2-3/+5
11 daysSteal a `concat_map` implementation from KarutaEstevan Castilho2-0/+5
11 daysSteal a `filter_map` implementation from KarutaEstevan Castilho2-0/+7
11 dayschange call sites DirectoryMarcos Magueta3-4/+4
11 daysmove directory out of prototypeMarcos Magueta4-15/+12
11 daysFormattingEstevan Castilho14-56/+48
11 daysAvoid implementing `Directory` inline?Estevan Castilho3-20/+14
11 daysForsake `fmap`Estevan Castilho18-60/+58
[...]
 
Clone
git@src.symbolic.engineering:RNT.git