2019-05-03: Conor McBride (MSP)

Sat, 21 Oct 2023 21:24:08 +0100

Conor McBride (MSP)

MSP 101: Fixed points of indexed containers

Abstract

In an attempt to con Agda into allowing alternation of least and greatest fixed points, I try to remember how to construct these things for indexed containers.

2019-05-03 16:00:00 UTC
LT1310