#coinduction — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #coinduction, aggregated by home.social.
-
New blog post: Introduction to Coinduction in Agda Part 1: Coinductive Programming
jesper.cx/posts/coinduction-part-1.html
#Agda #ProofAssistant #DependentTypes #Coinduction