Agda-2.2.10: 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)