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