idris

Safe HaskellNone

IRTS.Inliner

Documentation

evalD :: t -> a -> Maybe aSource