Skip to content

History

New page

Revisions

  • I found the new Sitnikovki book in an Amazon search, but don't have the book. It seems to be an updated (?) version of the unavailable _Gentle Introduction to Dependent Types with Idris_: https://leanpub.com/gidti . I left the Idris version field blank because I didn't discover any clarification about this on the Springer page or on Amazon. (The Apress book is new, so it might be expected to use Idris 2, but it's based on the older book, so maybe it hasn't been updated for v2.)

    @mars0i mars0i committed Apr 29, 2023
    b496cbe

  • restore link

    @melted melted committed Apr 17, 2023
    06ea698

  • add may 2022 meeting

    @ysangkok ysangkok committed May 13, 2022
    5f0ff8e

  • Updated Windows Binaries (markdown)

    @irinl5 irinl5 committed Dec 18, 2021
    767b42f

  • added note that cabal sandbox is now obsolete

    @attila-lendvai attila-lendvai committed Jul 27, 2021
    d8fdabc

  • Revert 3cecf4aeb9aed103e3c967bc70332b7f4df518bb...04d7e1d1c5a7cec05fe35e2e125e16c36ef2c0c7 on Installing an Idris Development version in a sandbox

    @attila-lendvai attila-lendvai committed Jul 27, 2021
    a8ea987

  • remove more references to cabal sandbox

    @attila-lendvai attila-lendvai committed Jul 15, 2021
    04d7e1d

  • delete cabal sandbox reference, it's been deprecated and removed

    @attila-lendvai attila-lendvai committed Jul 15, 2021
    e8ff57f

  • Updated Libraries (markdown)

    @KeenS KeenS committed Jan 4, 2021
    7134f34

  • Adding other package listings

    @bbarker bbarker committed Sep 27, 2020
    79fa13e

  • adding a stream-processing library

    @bbarker bbarker committed Sep 25, 2020
    36fae2e

  • Fix formatting of .bash_profile snippet

    @Fendse Fendse committed Jul 27, 2020
    25cf325

  • Add an entry for idris-time under Data.

    @gdevanla gdevanla committed Jul 24, 2020
    eb2f447

  • Updated Windows Binaries (markdown)

    @melted melted committed May 23, 2020
    5eb71d6

  • Not sure if this is the correct link, but the other link 404s so this is at least an improvement over that.

    @alexhumphreys alexhumphreys committed May 11, 2020
    95417e5

  • Move equivalent emacs commands to the right rows.

    @LeifW LeifW committed Apr 30, 2020
    d6ee9af

  • Correcting key binding for vim's show documentation.

    @alebahn alebahn committed Mar 30, 2020
    55976c5

  • Updated Linux Binary Packages (markdown)

    @felixonmars felixonmars committed Mar 12, 2020
    d1840bf

  • Vim-IdrisConceal is deprecated.

    @hgsipiere hgsipiere committed Mar 1, 2020
    b37ca79

  • Add make as a prerequisite

    @melted melted committed Feb 28, 2020
    38b57a9

  • (minor) rewording heading

    @szabi szabi committed Feb 28, 2020
    2d75430

  • (minor, formatting only: heading level)

    @szabi szabi committed Feb 28, 2020
    ea24cf6

  • Updated (also confirming that the procedure works in Ubuntu 19.10)

    @szabi szabi committed Feb 28, 2020
    0494f0c

  • 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

  • Updated Windows Binaries (markdown)

    @melted melted committed Jul 23, 2019
    9ec3f65

  • added a link to my box2d bindings for idris

    @corazza corazza committed Jul 2, 2019
    07d9089

  • Added a missing step and a warning message

    @corazza corazza committed Mar 4, 2019
    30ff209

  • Updated Build tools | Package managers (markdown)

    @brainrake brainrake committed Dec 13, 2018
    912fe10

  • Updated Build tools | Package managers (markdown)

    @brainrake brainrake committed Dec 13, 2018
    8f887b2