Conversation

Sebastian Ullrich 🚞 ICFP
@derKha
Hi, I'm a Lean developer. You may know me from my greatest hits: "No, we're not making it extensional just for you", "Huh, I didn't intend that to work", and "Typeclass inference is just a Prolog-like search".
Quote Tweet
joomy
@vowelharmony
·
Hi, I’m Coq. You may know me from my greatest hits: ... (typechecker loops forever) twitter.com/agdakx/status/…
1
11