For me it’s probably speech therapy and everything pertaining to that. I’m yet to encounter someone on here who is one apart from me (in training).

What about you?

  • bss03@infosec.pubEnglish
    3·
    8 hours ago

    Graded Modal Dependent Type Theory, but that’s mostly because only “dozens of” people know it exists.

    • someacnt@sh.itjust.worksEnglish
      1·
      6 hours ago

      What kind of grading do you give there? I guess the modal part is about the contexts for the type theory, but it has been some time I have looked into it.