/agda-coinduction-experiments

Infinite data structures in Agda

Primary LanguageAgda

Watchers