Hi, Il 02/07/19 20:34, Cris Perdue ha scritto: > Installing GHC (the Haskell compiler) and the "stack" tool using the > official Haskell image on Docker Hub is looking like a success at this > point. The image is large -- IIRC 200MB download and looks to be a bit > over 1GB on disk, but functions well for me, and Docker makes it easy to > discard at some future time if I wish.
Unless I misremember, all I had to do on a Debian system to run Mario's program was to install the package haskell-stack and then execute the stack command as documented by Mario. No need to deal with docker. Giovanni. -- Giovanni Mascellani <[email protected]> Postdoc researcher - Université Libre de Bruxelles -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/d02cb126-87db-137e-8898-943134a6f7d7%40gmail.com.
