Safe Haskell	None

Core.Execute

Documentation

execute :: Term -> Idris Term Source