Safe Haskell | None |
---|
Agda.Compiler.Epic.Static
Description
Find the places where the builtin static is used and do some normalisation there.
Agda-2.3.2: A dependently typed functional programming language and proof assistant
Safe Haskell | None |
---|
Agda.Compiler.Epic.Static
Description
Find the places where the builtin static is used and do some normalisation there.