anyone know of a good introductory reference for learning about coinduction?
-
-
@edwinbrady@chrisamaphone http://www.cse.chalmers.se/~nad/publications/danielsson-altenkirch-mixing.html … seems to be the abstract, with pdf link on that page. -
@lenary@chrisamaphone That's the one. There was enough in there to help me implement it, at least. Hoorah for reproducibility :).
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.