| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Agda.Compiler.UHC.Smashing
Description
Smash functions which return something that can be inferred (something of a type with only one element)
Agda-2.5.1.2: A dependently typed functional programming language and proof assistant
| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Agda.Compiler.UHC.Smashing
Description
Smash functions which return something that can be inferred (something of a type with only one element)