| Mode | Name | Size | |
|---|---|---|---|
| d--------- | AIT | 42 | logplain |
| -rw-r--r-- | Box.bruijn | 1066 | logplainblame |
| -rw-r--r-- | Char.bruijn | 1826 | logplainblame |
| -rw-r--r-- | Combinator.bruijn | 6651 | logplainblame |
| d--------- | Generic | 81 | logplain |
| -rw-r--r-- | IO.bruijn | 270 | logplainblame |
| -rw-r--r-- | List.bruijn | 128 | logplainblame |
| d--------- | List | 83 | logplain |
| -rw-r--r-- | Logic.bruijn | 130 | logplainblame |
| d--------- | Logic | 124 | logplain |
| -rw-r--r-- | Map.bruijn | 1136 | logplainblame |
| -rw-r--r-- | Math.bruijn | 8095 | logplainblame |
| d--------- | Math | 124 | logplain |
| -rw-r--r-- | Meta.bruijn | 8059 | logplainblame |
| -rw-r--r-- | Monad.bruijn | 128 | logplainblame |
| d--------- | Monad | 120 | logplain |
| -rw-r--r-- | Number.bruijn | 778 | logplainblame |
| d--------- | Number | 377 | logplain |
| -rw-r--r-- | Option.bruijn | 1661 | logplainblame |
| -rw-r--r-- | Pair.bruijn | 1453 | logplainblame |
| -rw-r--r-- | Result.bruijn | 1867 | logplainblame |
| -rw-r--r-- | Set.bruijn | 628 | logplainblame |
| d--------- | Set | 82 | logplain |
| -rw-r--r-- | String.bruijn | 3717 | logplainblame |
| d--------- | Tree | 123 | logplain |
| -rwxr-xr-x | generate_map.py | 1494 | logplainblame |
| -rwxr-xr-x | test_all.sh | 587 | logplainblame |