hylolib-1.5.4: Tools for hybrid logics related programs
HyLo.Util
sequenceUntil :: Monad m => (a -> Bool) -> [m a] -> m [a] Source #