• KSP Atlas@sopuli.xyz
      link
      fedilink
      arrow-up
      1
      ·
      6 days ago

      I guess it could be some language with a totality checker where the total keyword goes between the type and the name? Idris has a total keyword but it comes before