ltext-0.0.0.4: Higher-order file applicator
LText.Internal.Evaluation
runEv :: (Monad m, MonadError String m) => StateT (Int, Bool) m a -> m a Source
freshExprVar :: (Monad m, MonadState (Int, Bool) m) => String -> m String Source
reduce :: (Monad m, MonadState (Int, Bool) m) => Expr -> m Expr Source
alpha :: (Monad m, MonadState (Int, Bool) m) => Expr -> m Expr Source