Skip to content
HORIZON
HASKELL
Docs
lts/ghc-9.10.x
248f8f0
2026-10-05
horizon-platform
Agda-2.7.0.1
Index +
Search names, modules, packages, or
::
a type
Ctrl K
GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05
Packages
Modules
Index
Search
Index
Agda-2.7.0.1
+
!
#
$
%
&
+
-
.
/
:
<
=
>
?
@
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
\
^
_
|
All
v
++#
Agda.TypeChecking.Substitute.Class