• @iopq
    link
    21 month ago

    Idris is the obscure version of Haskell