Arc Forumnew | comments | leaders | submitlogin
Simplifying semantics with type class morphisms (conal.net)
1 point by andreyf 5802 days ago | discuss