• #social 2019-09-11
  • Prev
    Next
  • #social
#social ≡
  • ←
  • →
2019-09-11 UTC
# 15:40
dmitriz2
… the most likely place we'd want to use it is to specify the behavior of _side effects_ of various terms