Stars
0
Forks
Watchers
Open Issues
Overall repository health assessment
No package.json found
This might not be a Node.js project
User
7
commits
Broken but nicer (compute via principal unifiers)
626ef45
WIP Lambda terms
3860b98
Add benchmark setup and smaller changes
c7da822
Add IndexTree
3607b83
Fix
1e2acc2
Nicer DSL
35797f1
Initial commit. Simple enumeration including sorted lists example
398601d