aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* beam subsystem hack for karuta execution under internal nodeHEADmasterMarcos Magueta4 days13-15/+710
* Use finger trees in more placesEstevan Castilho11 days9-25/+34
* Monadic `concat_mapm`Estevan Castilho11 days2-3/+5
* Steal a `concat_map` implementation from KarutaEstevan Castilho11 days2-0/+5
* Steal a `filter_map` implementation from KarutaEstevan Castilho11 days2-0/+7
* change call sites DirectoryMarcos Magueta11 days3-4/+4
* move directory out of prototypeMarcos Magueta11 days4-15/+12
* FormattingEstevan Castilho11 days14-56/+48
* Avoid implementing `Directory` inline?Estevan Castilho11 days3-20/+14
* Forsake `fmap`Estevan Castilho11 days18-60/+58
* `fold_left` -> `foldm_right`Estevan Castilho11 days6-12/+16
* temporary handle instead of type description everywhereMarcos Magueta2026-10-125-8/+11
* relation scan with enumerable and releaseMarcos Magueta2026-10-1211-46/+36
* concat mapMarcos Magueta2026-10-126-11/+7
* result fold leftMarcos Magueta2026-10-126-26/+24
* abstracting headers and merkle of list constructionMarcos Magueta2026-10-127-45/+27
* update docsMarcos Magueta2026-10-1112-117/+898
* tests and some pointer for program on ephemeralMarcos Magueta2026-10-118-216/+365
* merge lifecycle-ergonomics and rework modes and contain checksMarcos Magueta2026-10-1123-127/+238
|\
| * Stylelifecycle-ergonomicsEstevan Castilho2026-10-107-52/+39
| * Make the autorelease pool opt-inEstevan Castilho2026-10-103-20/+7
| * Use an autorelease pool when walking down a pathEstevan Castilho2026-10-101-19/+14
| * Make sessions counted, rather than exclusiveEstevan Castilho2026-10-102-25/+4
| * Make namespaces take ownership of the handles it is givenEstevan Castilho2026-10-105-8/+24
| * `without_autorelease`, `keep`Estevan Castilho2026-10-102-5/+21
| * The finalizer should also release the handleEstevan Castilho2026-10-101-6/+7
| * Autorelease poolsEstevan Castilho2026-10-082-5/+25
| * Objects with a null lifecycle should not have a destructorEstevan Castilho2026-10-081-2/+2
| * Log whenever managed objects are garbage collectedEstevan Castilho2026-10-087-7/+62
| * Make `Handle.release` concurrency-safeEstevan Castilho2026-10-081-5/+5
| * A better print representationEstevan Castilho2026-10-081-1/+1
* | rework store ephemeral relation under program and fail at path lookMarcos Magueta2026-10-104-61/+72
* | invoke foreign programMarcos Magueta2026-10-101-10/+8
* | fol fix plan program instead of stored ephemeral relMarcos Magueta2026-10-101-33/+21
* | programs as invokable imagesMarcos Magueta2026-10-098-178/+116
* | admission protocol for multigroup denial checksMarcos Magueta2026-10-0915-40/+164
* | testsMarcos Magueta2026-10-083-10/+33
* | purge schema in favor of simple namespaceMarcos Magueta2026-10-0810-330/+189
* | fix testsdrop-journalMarcos Magueta2026-10-088-178/+274
* | rework evaluators and add schema scopeMarcos Magueta2026-10-0816-168/+465
* | scope and source for evaluatorsMarcos Magueta2026-10-075-51/+305
* | scratch root for testing with subsystems explorerMarcos Magueta2026-10-072-0/+30
* | ephemeral literal, relation heading, subs rel stored & lmdb 1GB mapMarcos Magueta2026-10-075-13/+58
* | merkle removeMarcos Magueta2026-10-071-2/+47
* | drop journal in favor of local branch historyMarcos Magueta2026-10-0729-526/+399
* | journal for the websitejournalMarcos Magueta2026-10-0513-0/+657
|/
* Merge branch 'relation-bipartite-registration'Marcos Magueta2026-10-0211-31/+406
|\
| * FOL test with program instantiationrelation-bipartite-registrationMarcos Magueta2026-10-021-1/+93
| * fix multigroup deriving and testsMarcos Magueta2026-10-014-14/+74
| * FOL program encoding and decodingMarcos Magueta2026-10-014-2/+87