| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Church.bruijn | 135 | logplainblame |
| -rw-r--r-- | Combinator.bruijn | 411 | logplainblame |
| -rw-r--r-- | List.bruijn | 1373 | logplainblame |
| -rw-r--r-- | Logic.bruijn | 958 | logplainblame |
| -rw-r--r-- | Number.bruijn | 7424 | logplainblame |
| -rw-r--r-- | Option.bruijn | 979 | logplainblame |
| -rw-r--r-- | Pair.bruijn | 916 | logplainblame |
| -rw-r--r-- | Result.bruijn | 1393 | logplainblame |