• #social 2015-03-17
  • Prev
    Next
  • #social
#social ≡
  • ←
  • →
2015-03-17 UTC
# 17:34
rhiaro ... If we want to require any kind of inferencing (basically subtyping and subclassing) we just need to make that explicit in the spec