Agda.Syntax.Concrete.Generic

class ExprLike a

Instances for things that do not contain expressions.

Instances for functors.

Interesting instances