| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.Interaction.CommandLine
Documentation
runInteractionLoop :: Maybe AbsolutePath -> TCM () -> (AbsolutePath -> TCM CheckResult) -> TCM () Source #
| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.Interaction.CommandLine
runInteractionLoop :: Maybe AbsolutePath -> TCM () -> (AbsolutePath -> TCM CheckResult) -> TCM () Source #