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