search

HigherOrderCO / Kind

A modern proof language
https://higherorderco.com
MIT License
3.58k stars 142 forks source link

Infix Functions / custom binary operator #310

Closed ken-okabe closed 2 years ago

ken-okabe commented 2 years ago

I'd like to know about Infix Functions or how to define custom binary operators in Kind. Infix Functions In Haskell

I need to define monad operators >>= or pipeline |> or function composition . freely.

I seached the documents and issues but could not find. Thanks!

algebraic-dev commented 2 years ago

Closed because the repository now only contains the code for the Kind2 language.