Documentation

type AgdaList a b = [b]Source

type AgdaMaybe a b = Maybe bSource

type AgdaEither a b c d = Either c dSource

data AgdaEmpty Source

data AgdaStream a Source