| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Binary.bruijn | 7483 | logplainblame |
| -rw-r--r-- | Conversion.bruijn | 950 | logplainblame |
| -rw-r--r-- | Pairing.bruijn | 897 | logplainblame |
| -rw-r--r-- | Ternary.bruijn | 12737 | logplainblame |
| -rw-r--r-- | Unary.bruijn | 4707 | logplainblame |
| index : marvinborner/bruijn | |
| :abacus: Programming with pure lambda calculus | Marvin |
| aboutsummaryrefslogtreecommitdiffhomepage |
| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Binary.bruijn | 7483 | logplainblame |
| -rw-r--r-- | Conversion.bruijn | 950 | logplainblame |
| -rw-r--r-- | Pairing.bruijn | 897 | logplainblame |
| -rw-r--r-- | Ternary.bruijn | 12737 | logplainblame |
| -rw-r--r-- | Unary.bruijn | 4707 | logplainblame |