index
:
RNT
constraints
drop-journal
gh-pages
indexes
journal
karuta-subsystem
lifecycle-ergonomics
master
master-old
relation-bipartite-registration
relation-registration
session
git repositories
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
lib
/
evaluators
/
FOL.ml
(
unfollow
)
Commit message (
Expand
)
Author
Files
Lines
4 days
bencode helpers between dicts and string maps
Marcos Magueta
1
-12
/
+3
4 days
one cursor loop for filtering and projecting
Marcos Magueta
1
-26
/
+17
4 days
clearer names in fol, merging restrictions as they sink
Marcos Magueta
1
-28
/
+37
4 days
where modes drop only the attribute its index reads
Marcos Magueta
1
-2
/
+4
4 days
format and where claude on fol
Marcos Magueta
1
-6
/
+90
12 days
Forsake `fmap`
Estevan Castilho
1
-4
/
+4
12 days
`fold_left` -> `foldm_right`
Estevan Castilho
1
-1
/
+1
2026-10-12
temporary handle instead of type description everywhere
Marcos Magueta
1
-1
/
+1
2026-10-12
relation scan with enumerable and release
Marcos Magueta
1
-7
/
+2
2026-10-12
result fold left
Marcos Magueta
1
-3
/
+2
2026-10-12
abstracting headers and merkle of list construction
Marcos Magueta
1
-10
/
+1
2026-10-11
tests and some pointer for program on ephemeral
Marcos Magueta
1
-9
/
+2
2026-10-10
invoke foreign program
Marcos Magueta
1
-10
/
+8
2026-10-10
fol fix plan program instead of stored ephemeral rel
Marcos Magueta
1
-33
/
+21
2026-10-09
programs as invokable images
Marcos Magueta
1
-17
/
+8
2026-10-08
purge schema in favor of simple namespace
Marcos Magueta
1
-9
/
+5
2026-10-07
scope and source for evaluators
Marcos Magueta
1
-6
/
+7
2026-10-07
drop journal in favor of local branch history
Marcos Magueta
1
-4
/
+16
2026-10-01
FOL program encoding and decoding
Marcos Magueta
1
-2
/
+81
2026-09-26
ephemeral relations as outputs of FOL and program overhaul
Marcos Magueta
1
-13
/
+105
2026-09-25
dune fmt
Marcos Magueta
1
-16
/
+14
2026-09-24
Make objects printable
Estevan Castilho
1
-0
/
+2
2026-09-17
WIP forsake context
Estevan Castilho
1
-3
/
+3
2026-09-17
Use handles as reference points
Estevan Castilho
1
-14
/
+12
2026-09-13
fol evaluator
Marcos Magueta
1
-0
/
+40