Skip to content

History / External Resources

Edit page 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

  • Add link to Idris in the Hello World Collection

    @wolframroesler wolframroesler committed Jun 9, 2018
    c5261e8

  • Updated External Resources (markdown)

    Ahmad Salim Al-Sibahi committed Nov 27, 2017
    e12982d

  • Updated External Resources (markdown)

    @mietek mietek committed Jun 6, 2016
    85aecbb

  • Updated External Resources (markdown)

    @jhegedus42 jhegedus42 committed Jan 29, 2016
    7a077b8

  • Updated External Resources (markdown)

    @jhegedus42 jhegedus42 committed Jan 29, 2016
    4ae7972

  • Updated External Resources (markdown)

    @jhegedus42 jhegedus42 committed Jan 29, 2016
    babcc1a

  • Updated External Resources (markdown)

    @jfdm jfdm committed Jan 28, 2016
    ce143f8

  • Updated External Resources (markdown)

    @jfdm jfdm committed Nov 4, 2015
    354e860

  • Updated External Resources (markdown)

    @jfdm jfdm committed Nov 4, 2015
    1673ff7

  • Added new resources.

    @jfdm jfdm committed Nov 4, 2015
    06e066d

  • Updated External Resources (markdown)

    @slaven-s slaven-s committed Sep 10, 2015
    12ab38e

  • Updated External Resources (markdown)

    @david-christiansen david-christiansen committed May 26, 2015
    a3eca6c

  • Added external talk

    jfdm committed Dec 29, 2014
    119e6f5

  • Updated External Resources (markdown)

    jfdm committed Sep 26, 2014
    343dfaf

  • Added puffnfresh's strange loop talk.

    jfdm committed Sep 26, 2014
    ef75588

  • Add Tic Tac Type presentation

    @octoploid octoploid committed May 11, 2014
    68d5c49

  • Updated External Resources (markdown)

    @jfdm jfdm committed Apr 30, 2014
    6623ddf

  • Updated External Resources (markdown)

    @jfdm jfdm committed Apr 30, 2014
    bc6ef0d

  • Updated External Resources (markdown)

    @jfdm jfdm committed Apr 30, 2014
    20ad574

  • fixed column headings

    @jfdm jfdm committed Mar 30, 2014
    cadee6c

  • Added external resources page.

    @jfdm jfdm committed Mar 30, 2014
    f1eb78c