Data.Tmp
Contents
the functions here should be eventually put in the stdlib
printNatListLn : List Nat → IOSource#
mapMaybe {A B} (f : A -> B) : Maybe A -> Maybe BSource#
isJust {A} : Maybe A -> BoolSource#