aboutsummaryrefslogtreecommitdiffhomepage
path: root/std
ModeNameSize
-rw-r--r--Boolean.bruijn948logplainblame
-rw-r--r--Church.bruijn135logplainblame
-rw-r--r--Combinator.bruijn365logplainblame
-rw-r--r--Number.bruijn5680logplainblame
-rw-r--r--Option.bruijn979logplainblame
-rw-r--r--Pair.bruijn636logplainblame
-rw-r--r--Result.bruijn1393logplainblame