Agda-2.6.4.1: A dependently typed functional programming language and proof assistant
Source
Contents
Index
Safe Haskell
None
Language
Haskell2010
Agda.Compiler.Treeless.Uncase
Documentation
caseToSeq
::
Monad
m =>
TTerm
-> m
TTerm
Source
#