Skip to content

History / Idris on OS X using Homebrew

Edit page New page

Revisions

  • Created Idris on OS X using Homebrew (markdown)

    @marick marick committed Mar 10, 2017
    fa7867b

  • Destroyed Idris on OS X using Homebrew (markdown)

    @jfdm jfdm committed Sep 12, 2016
    9f70050

  • add link to moved page

    @srenatus srenatus committed Jul 26, 2016
    6b4c92f

  • Updated Idris on OS X using Homebrew (markdown)

    @jfdm jfdm committed Jul 16, 2016
    066b860

  • Updated Idris on OS X using Homebrew (markdown)

    @mietek mietek committed Jan 21, 2016
    9afcf5a

  • Updated Idris on OS X using Homebrew (markdown)

    @basus basus committed Aug 1, 2013
    00c12d1

  • Updated Idris on OS X using Homebrew (markdown)

    @basus basus committed Aug 1, 2013
    b61ad91

  • Updated Idris on OS X using Homebrew (markdown)

    @basus basus committed Aug 1, 2013
    450c809

  • Updated Idris on OS X using Homebrew (markdown)

    @basus basus committed Aug 1, 2013
    8924659

  • Updated Idris on OS X using Homebrew (markdown)

    @basus basus committed Aug 1, 2013
    46ced0e

  • As of version 0.9.9, Idris requires boehm-gc as a dependency. The change indicates how to install it with Homebrew.

    @davidthibodeau davidthibodeau committed Jul 31, 2013
    c137871

  • link to haskell platform for mac, instead of to the platform for windows

    @hannesm hannesm committed Jul 25, 2013
    d1a1b02

  • Created Idris on OS X using Homebrew (markdown)

    @basus basus committed Jul 25, 2013
    f09eb9d