Admin/haskell/stack/README
author wenzelm
Mon Jun 03 20:09:43 2019 +0200 (4 months ago)
changeset 70310 c82f59c47aaf
parent 69419 8985ee17bfd2
permissions -rw-r--r--
clarified transfer_morphism: implicit join_certificate, e.g. relevant for complex cascades of morphisms such as class locale interpretation;
wenzelm@69419
     1
This is stack 1.9.3 -- the Haskell Tool Stack.
wenzelm@69147
     2
wenzelm@69147
     3
See also https://www.haskellstack.org and executables from
wenzelm@69147
     4
https://github.com/commercialhaskell/stack/releases as follows:
wenzelm@69147
     5
wenzelm@69419
     6
  * x86_64-linux: stack-1.9.3-linux-x86_64-static.tar.gz
wenzelm@69419
     7
  * x86_64-darwin: stack-1.9.3-osx-x86_64.tar.gz
wenzelm@69419
     8
  * x86_64-windows: stack-1.9.3-windows-x86_64.tar.gz
wenzelm@69147
     9
wenzelm@69147
    10
wenzelm@69147
    11
    Makarius
wenzelm@69419
    12
    07-Dec-2018