AJChapman/agda-timely-computation

Working through Conal Elliott's paper 'Timely Computation'

Timely Computation

This is a toy project in Agda as I learn the language. I'm trying to implement what's described in Conal Elliott's paper 'Timely Computation'.