Safe Haskell | None |
---|---|
Language | Haskell2010 |
Data types representing public entry points for an Agda project.
Types
A public entry point for an Agda project.
A collection of public entry points for an Agda project.
Roots | |
|
Safe Haskell | None |
---|---|
Language | Haskell2010 |
Data types representing public entry points for an Agda project.
A public entry point for an Agda project.
A collection of public entry points for an Agda project.
Roots | |
|