genelkim/ulf-lib

Tense types should be three-valued

Closed this issue · 1 comments

genelkim commented

tense types should be

  1. unspecified
  2. untensed
  3. tensed

Right now we only have two so we can't specify domains that allow both. Had to hack the semtype-equal? function to get the unspecified nature working.

genelkim commented

This is handled as part of #38 and all the details are worked out in #37