search

Soonad / Base.fm

Standard library for the Formality language
http://tiny.cc/8nvvgz
MIT License
18 stars 2 forks source link

Added binaryOperation helper file #15

Closed Eloitor closed 4 years ago

johnchandlerburnham commented 4 years ago

fyi: https://github.com/moonad/Superstruct.fm/blob/master/Operation.fm

I'm debating removing the Setoid construction though in favor of a functional extenstionality axiom, not sure yet though

Eloitor commented 4 years ago

Oh that's nice, thanks