Agda-2.2.6: A dependently typed functional programming language and proof assistant
Source code
Contents
Index
Agda.Utils.Suffix
Documentation
data
Suffix
Source
Constructors
NoSuffix
Prime
Int
Index
Int
suffixView
::
String
-> (
String
,
Suffix
)
Source
addSuffix
::
String
->
Suffix
->
String
Source
Produced by
Haddock
version 2.6.0