Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | ackermann.bruijn | 467 | logplainblame |
-rw-r--r-- | empty_program.bruijn | 9 | logplainblame |
-rw-r--r-- | sorting_quicksort.bruijn | 290 | logplainblame |
-rw-r--r-- | special_factorial.bruijn | 1332 | logplainblame |
-rw-r--r-- | universal_lambda_machine.bruijn | 1765 | logplainblame |