| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Binary.bruijn | 7823 | logplainblame |
| -rw-r--r-- | Conversion.bruijn | 481 | logplainblame |
| -rw-r--r-- | Pairing.bruijn | 897 | logplainblame |
| -rw-r--r-- | Ternary.bruijn | 12773 | logplainblame |
| -rw-r--r-- | Unary.bruijn | 4764 | logplainblame |
| index : marvinborner/bruijn | |
| :abacus: Programming with pure lambda calculus | Marvin |
| aboutsummaryrefslogtreecommitdiffhomepage |
| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Binary.bruijn | 7823 | logplainblame |
| -rw-r--r-- | Conversion.bruijn | 481 | logplainblame |
| -rw-r--r-- | Pairing.bruijn | 897 | logplainblame |
| -rw-r--r-- | Ternary.bruijn | 12773 | logplainblame |
| -rw-r--r-- | Unary.bruijn | 4764 | logplainblame |