| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Accum.hs | 5409 | logplain |
| -rw-r--r-- | Bindings.hs | 3424 | logplain |
| -rw-r--r-- | Count.hs | 37271 | logplain |
| -rw-r--r-- | Env.hs | 3862 | logplain |
| -rw-r--r-- | Pretty.hs | 18863 | logplain |
| -rw-r--r-- | Sparse.hs | 12147 | logplain |
| d--------- | Sparse | 36 | logplain |
| -rw-r--r-- | SplitLets.hs | 9494 | logplain |
| -rw-r--r-- | Types.hs | 10258 | logplain |
| -rw-r--r-- | UnMonoid.hs | 14747 | logplain |
| -rw-r--r-- | Weaken.hs | 4741 | logplain |
| d--------- | Weaken | 35 | logplain |
 |
index : chad-fast | |
| An implementation of CHAD, towards performance | git daemon user |
| aboutsummaryrefslogtreecommitdiff |