coalton-lang / coalton

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
https://coalton-lang.github.io/
MIT License
1.15k stars 70 forks source link

Document invariants that instances of stdlib classes should uphold #498

Open eliaslfox opened 2 years ago

eliaslfox commented 2 years ago

Examples

eliaslfox commented 2 years ago

Also add PartialEq and PartialOrd