search

Soonad / Formality-Core

Specification of the Formality proof and programming language
MIT License
40 stars 11 forks source link

fix haskell comparison functions #11

Closed johnchandlerburnham closed 4 years ago