Agda-2.2.6: A dependently typed functional programming language and proof assistantContentsIndex
ABCDEFGHIJKLMNOPQRSTUVWXYZ!$+./<=>|-
Index (Y)
Yes
1 (Data Constructor)
2 (Data Constructor)
yesMatchLit
YesReduction
YesType
1 (Type/Class)
2 (Data Constructor)