• @iopq
    link
    14 hours ago

    Idris is the obscure version of Haskell