/std/
../
AIT
Box.bruijn
Char.bruijn
Combinator.bruijn
Generic
List.bruijn
Logic.bruijn
Logic
Math.bruijn
Math
Meta.bruijn
Monad.bruijn
Number.bruijn
Number
Option.bruijn
Pair.bruijn
Result.bruijn
Set.bruijn
String.bruijn
Tree
test_all.sh