search

ohnosequences / monochord

An exploration of string diagrams, monoidal categories and functional programming in the browser
GNU Affero General Public License v3.0
0 stars 1 forks source link

Ord #9

Closed mroman42 closed 8 years ago

mroman42 commented 8 years ago

Defines Ord a as (a->a->Order). Implements Dictionary using this definition.