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
Branch
Commit message
Author
Age
constraints
generates_when constraint utility
Marcos Magueta
6 weeks
drop-journal
fix tests
Marcos Magueta
4 weeks
indexes
docs for hashed index keys, merged restrictions and narrower where modes
Marcos Magueta
4 days
journal
journal for the website
Marcos Magueta
4 weeks
karuta-subsystem
driver due to the lack of an init system for headless run
Marcos Magueta
4 days
lifecycle-ergonomics
Style
Estevan Castilho
4 weeks
master
beam subsystem hack for karuta execution under internal node
Marcos Magueta
4 days
relation-bipartite-registration
FOL test with program instantiation
Marcos Magueta
5 weeks
relation-registration
Fix build, allow users to register relations
Estevan Castilho
6 weeks
session
follow only a snapshot instead of the dead branch
Marcos Magueta
5 weeks
[...]
Age
Commit message
Author
Files
Lines
4 days
beam subsystem hack for karuta execution under internal node
HEAD
master
Marcos Magueta
13
-15
/
+710
11 days
Use finger trees in more places
Estevan Castilho
9
-25
/
+34
11 days
Monadic `concat_mapm`
Estevan Castilho
2
-3
/
+5
11 days
Steal a `concat_map` implementation from Karuta
Estevan Castilho
2
-0
/
+5
11 days
Steal a `filter_map` implementation from Karuta
Estevan Castilho
2
-0
/
+7
11 days
change call sites Directory
Marcos Magueta
3
-4
/
+4
11 days
move directory out of prototype
Marcos Magueta
4
-15
/
+12
11 days
Formatting
Estevan Castilho
14
-56
/
+48
11 days
Avoid implementing `Directory` inline?
Estevan Castilho
3
-20
/
+14
11 days
Forsake `fmap`
Estevan Castilho
18
-60
/
+58
[...]
Clone
git@src.symbolic.engineering:RNT.git