|
Agda.Interaction.BasicOps |
|
|
|
Synopsis |
|
|
|
Documentation |
|
|
|
|
|
|
|
|
|
|
|
|
Evaluate the given expression in the current environment
|
|
|
|
|
Constructors | AsIs | | Instantiated | | HeadNormal | | Normalised | |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Returns the type of the expression in the current environment
|
|
|
|
|
|
|
|
|
|
Produced by Haddock version 2.6.0 |