• @iopq
      link
      21 month ago

      Idris is the obscure version of Haskell