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

Safe HaskellNone

Agda.TypeChecking.Monad.Builtin

Contents

Synopsis

Documentation

The names of built-in things

data CoinductionKit Source

The coinductive primitives.