| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Analysis.hs | 7418 | logplain |
| -rw-r--r-- | Analysis.nix | 478 | logplain |
| -rw-r--r-- | env | 319 | logplain |
| -rwxr-xr-x | get-examples.sh | 535 | logplain |
| -rwxr-xr-x | main.py | 6842 | logplain |
| -rw-r--r-- | pitch.md | 1607 | logplain |
 |
index : omni.git | |
| not just a monorepo, its an *omnirepo* | ben |
| summaryrefslogtreecommitdiff |