Skip to content

History / Idris on Ubuntu

Edit page New page

Revisions

  • Updated Idris on Ubuntu (markdown)

    @LeifW LeifW committed Feb 2, 2015
    4ed32b5

  • Updated Idris on Ubuntu (markdown)

    @LeifW LeifW committed Feb 2, 2015
    09c61d9

  • Updated Idris on Ubuntu (markdown)

    @LeifW LeifW committed Feb 2, 2015
    c1b474f

  • The Java and LLVM backends are no longer included by default. I think installing outdated ubuntu packages and picking through the rest w/ cabal-install just complicates things. Trying to keep this setup simple.

    @LeifW LeifW committed Feb 2, 2015
    5207a7c

  • Add step to install an updated cabal (without which, these instructions did not work for me).

    @xandkar xandkar committed Sep 3, 2014
    ae83914

  • Added missing dependencies, changed aptitute to apt-get

    @fstaffa fstaffa committed Aug 12, 2014
    f28cf92

  • Updated Idris on Ubuntu (markdown)

    @ssbr ssbr committed May 21, 2014
    958d7ea

  • Updated Idris on Ubuntu (markdown)

    @Ralith Ralith committed Oct 31, 2013
    231cda7

  • Updated Idris on Ubuntu (markdown)

    @Ralith Ralith committed Oct 31, 2013
    6f2798f

  • Updated Idris on Ubuntu (markdown)

    @Ralith Ralith committed Oct 31, 2013
    bc627d6

  • Updated instructions for obtaining LLVM

    @Ralith Ralith committed Oct 31, 2013
    9a22345

  • Note about linker

    @ezyang ezyang committed Aug 3, 2013
    41dbcac

  • Add PATH invocation which makes it work.

    @ezyang ezyang committed Aug 3, 2013
    db1739c

  • Created Idris on Ubuntu (markdown)

    @DanBurton DanBurton committed Aug 1, 2013
    ae08a97