Skip to content

History / Idris on Windows

Edit page New page

Revisions

  • Fix formatting of .bash_profile snippet

    @Fendse Fendse committed Jul 27, 2020
    25cf325

  • removing libffi-devel from the needed tools install line because it had not proved helpful in the end

    @corazza corazza committed Nov 26, 2019
    8f74662

  • added libffi-devel to the list of needed packages, doesn't have a pkg-config entry without it (libffi.pc)

    @corazza corazza committed Nov 25, 2019
    5408d67

  • Added a missing step and a warning message

    @corazza corazza committed Mar 4, 2019
    30ff209

  • Updated Idris on Windows (markdown)

    @supergrade supergrade committed Mar 28, 2017
    9debd8c

  • Updated Idris on Windows (markdown)

    @supergrade supergrade committed Mar 28, 2017
    f224c54

  • Updated Idris on Windows (markdown)

    @supergrade supergrade committed Mar 20, 2017
    fb6003c

  • From my observations on clean machine then my primary machine. For windows user some of these things aren't obvious.

    @supergrade supergrade committed Mar 20, 2017
    d935d0d

  • Updated Idris on Windows (markdown)

    @melted melted committed Aug 26, 2016
    904037b

  • Updated Idris on Windows (markdown)

    @melted melted committed Feb 27, 2016
    2f8fb6f

  • Updated Idris on Windows (markdown)

    @melted melted committed Feb 27, 2016
    914bdee

  • Note about msys/mingw shells

    @enolan enolan committed Dec 9, 2015
    9e3214b

  • Update MSYS2 link

    @enolan enolan committed Dec 9, 2015
    85bb0e6

  • Updated Idris on Windows (markdown)

    @melted melted committed Jun 21, 2015
    169a812

  • Updated Idris on Windows (markdown)

    @melted melted committed Jun 21, 2015
    d15c642

  • Updated Idris on Windows (markdown)

    @melted melted committed Jun 21, 2015
    8fee8a2

  • Updated Idris on Windows (markdown)

    @melted melted committed May 21, 2015
    0d40fd4

  • Updated Idris on Windows (markdown)

    @melted melted committed May 21, 2015
    d1080c3

  • Updated Idris on Windows (markdown)

    @melted melted committed May 20, 2015
    b7b5bf2

  • Updated Idris on Windows (markdown)

    @melted melted committed May 20, 2015
    0b3535f

  • Updated Idris on Windows (markdown)

    @melted melted committed May 20, 2015
    6b72a84

  • Updated Idris on Windows (markdown)

    @melted melted committed May 20, 2015
    46ffbb7

  • Updated Idris on Windows (markdown)

    @melted melted committed May 20, 2015
    4da59c7

  • Updated Idris on Windows (markdown)

    @melted melted committed May 20, 2015
    7aa0adf

  • Updated Idris on Windows (markdown)

    @melted melted committed May 20, 2015
    ca4ce1a

  • Updated Idris on Windows (markdown)

    @melted melted committed May 20, 2015
    8448e4e

  • Updated Idris on Windows (markdown)

    @melted melted committed May 20, 2015
    525abc2

  • Updated Idris on Windows (markdown)

    @melted melted committed May 20, 2015
    72aa4f9

  • Updated Idris on Windows (markdown)

    @melted melted committed May 20, 2015
    a6f73a8

  • Updated Idris on Windows (markdown)

    @melted melted committed May 20, 2015
    2e05c43