| Mode | Name | Size | |
|---|---|---|---|
| d--------- | AIT | 42 | logplain |
| -rw-r--r-- | Box.bruijn | 1066 | logplainblame |
| -rw-r--r-- | Char.bruijn | 171 | logplainblame |
| -rw-r--r-- | Combinator.bruijn | 6420 | logplainblame |
| -rw-r--r-- | Float.bruijn | 510 | logplainblame |
| -rw-r--r-- | List.bruijn | 15434 | logplainblame |
| -rw-r--r-- | Logic.bruijn | 2451 | logplainblame |
| -rw-r--r-- | Math.bruijn | 6007 | logplainblame |
| -rw-r--r-- | Meta.bruijn | 7985 | logplainblame |
| -rw-r--r-- | Monad.bruijn | 1221 | logplainblame |
| -rw-r--r-- | Number.bruijn | 501 | logplainblame |
| d--------- | Number | 210 | logplain |
| -rw-r--r-- | Option.bruijn | 1318 | logplainblame |
| -rw-r--r-- | Pair.bruijn | 1459 | logplainblame |
| -rw-r--r-- | Result.bruijn | 1790 | logplainblame |
| -rw-r--r-- | Set.bruijn | 504 | logplainblame |
| -rw-r--r-- | String.bruijn | 1309 | logplainblame |
| d--------- | Tree | 82 | logplain |
| -rwxr-xr-x | test_all.sh | 417 | logplainblame |