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