search

Gabriella439 / Haskell-Morte-Library

A bare-bones calculus-of-constructions
BSD 3-Clause "New" or "Revised" License
373 stars 25 forks source link

rename (/=) to (!=) #81

Closed ghost closed 6 years ago

ghost commented 6 years ago

Fixes #80

Gabriella439 commented 6 years ago

Thank you! I will upload this to sigil.place soon

Gabriella439 commented 6 years ago

@tswijk: Alright, this is up on sigil.place now: http://sigil.place/tutorial/morte/1.7.1/Bool/(!=)