search

agda / agda-stdlib

The Agda standard library
https://wiki.portal.chalmers.se/agda/Libraries/StandardLibrary
Other
575 stars 237 forks source link

[ new ] IO buffering, and loops #2367

Closed gallais closed 5 months ago

JacquesCarette commented 5 months ago

(since @MatthewDaggitt 's condition has been fulfilled, hitting 'merge')