search

msp-strath / Mary

Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git
17 stars 1 forks source link

boolean equality #51

Closed pigworker closed 4 years ago

pigworker commented 4 years ago

I'm wondering what == should do.

Here's my first guess.

  1. cells are equal componentwise
  2. nils are equal
  3. atoms are equal if the have the same name
  4. numbers are equal in the usual way
  5. literal strings are equal if they have the same characters in the same order
  6. testing equality of anything higher order triggers 'HigherOrderEquality
pigworker commented 4 years ago

Looks like I called it 'higherOrderEqTest. It is done.