Skip to content

HORIZON HASKELL Docs lts/ghc-9.10.x248f8f02026-10-05

horizon-platform
Agda-2.7.0.1
Index .

Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

Packages
Modules
Index
Search

IndexAgda-2.7.0.1

.

.!=Agda.Interaction.JSON
.&&.Agda.Syntax.Parser.Alex
.*.Agda.Termination.Order
.-->Agda.TypeChecking.Primitive.Base
..-->Agda.TypeChecking.Primitive.Base
.:Agda.Interaction.JSON
.:!Agda.Interaction.JSON
.:!=Agda.Interaction.JSON
.:?Agda.Interaction.JSON
.:?=Agda.Interaction.JSON
.=Agda.Interaction.JSON Agda.Utils.Lens
.?=Agda.Interaction.JSON
.||.Agda.Syntax.Parser.Alex

HORIZON HASKELLGHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05mackerel · read from interface files