Source
Contents
Index

Agda-2.2.6: A dependently typed functional programming language and proof assistant

Agda.TypeChecking.Monad.Statistics

Documentation

tick :: String -> TCM ()Source

getStatistics :: TCM Statistics Source

Produced by Haddock version 2.8.1