Documentation

run :: BIO m => Lambda -> m () #

runWithTerminator :: BIO m => Lambda -> Lambda -> m () #

realize :: MonadSafe m => Lambda -> m Natural #

realizeWithTrue :: MonadSafe m => Lambda -> m Natural #