Agda-2.3.0: A dependently typed functional programming language and proof assistant

Agda.Auto.Convert

Documentation

norm :: Normalise t => t -> TCM tSource

data TMode Source

Constructors

TMAll 

Instances

type MapS a b = (Map a b, [a])Source