Open utterances-bot opened 1 year ago
I'm going to try to formalize this paper in Agda for a research internship, wish me luck! Maybe I will have a bit more success with it over the course of a semester than you did in just one week.
@cxandru please let me know how it goes! I'd love to see where I went wrong here!
Review: Sorting with Bialgebras and Distributive Laws :: Reasonably Polymorphic
https://reasonablypolymorphic.com/blog/bialgebras/index.html