• KSP Atlas@sopuli.xyz
    link
    fedilink
    arrow-up
    1
    ·
    3 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