Agda-2.2.6: A dependently typed functional programming language and proof assistantContentsIndex
ABCDEFGHIJKLMNOPQRSTUVWXYZ!$+./<=>|-
Index (<)
<#>
<$>
<*>
<++
<+>
1 (Function)
2 (Function)
<.>
<>
1 (Function)
2 (Function)
<@>