Skip to content

Revisions

  • Updated Idris on Debian (markdown)

    @JakeEP JakeEP committed Oct 3, 2016
  • Updated Idris on Debian (markdown)

    @JakeEP JakeEP committed Oct 3, 2016
  • Updated Idris on Debian (markdown)

    @mjepronk mjepronk committed Oct 8, 2015
  • Updated Idris on Debian (markdown)

    @jfdm jfdm committed Sep 25, 2015
  • Updated Idris on Debian (markdown)

    @mjepronk mjepronk committed Sep 21, 2015
  • Updated Idris on Debian (markdown)

    @mjepronk mjepronk committed Sep 21, 2015
  • small fixes

    @mjepronk mjepronk committed Sep 21, 2015
  • Updated installation instructions for final Debian Jessie release and use Cabal sandbox instead of hsenv.

    @mjepronk mjepronk committed Sep 21, 2015
  • Make sections distinct

    superfunc committed Nov 4, 2014
  • Update instructions for installing on debian wheezy.

    superfunc committed Nov 4, 2014
  • Fixed some typos; bumped Idris version to 0.9.12, and the date to "may 2014"

    @nikolaplejic nikolaplejic committed May 9, 2014
  • Following these instructions failed to install the "language-java" dependency when running "cabal install idris" -- I had to install it explicity before installing idris in my hsenv. Consequently, added "cabal install alex" in front of "cabal install idris" (even if it stops being an issue at some point, hopefully it can't hurt to explicitly install alex before idris).

    @nikolaplejic nikolaplejic committed May 9, 2014
  • Updated Idris on Debian (markdown)

    @reuleaux reuleaux committed Feb 7, 2014
  • Updated Idris on Debian (markdown)

    @reuleaux reuleaux committed Feb 7, 2014
  • Updated Idris on Debian (markdown)

    @reuleaux reuleaux committed Feb 7, 2014
  • Updated Idris on Debian (markdown)

    @reuleaux reuleaux committed Feb 7, 2014
  • Updated Idris on Debian (markdown)

    @reuleaux reuleaux committed Feb 7, 2014
  • updated for current ghc 7.6, and with the list of nice to habe packages in february 2014, and having installed lens from debian doesn't impede

    @reuleaux reuleaux committed Feb 7, 2014
  • Updated Idris on Debian (markdown)

    @reuleaux reuleaux committed Feb 7, 2014
  • Imported from https://github.com/reuleaux/Idris-dev/wiki/Idris-on-Debian

    @david-christiansen david-christiansen committed Nov 3, 2013