you are viewing a single comment's thread
view the rest of the comments
[–] 1 point 9 months 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

  • source
  • parent