Skip to content

History / Idris Developers Meeting, March 2015

Edit page New page

Revisions

  • Updated Idris Developers Meeting, March 2015 (markdown)

    @edwinb edwinb committed Mar 19, 2015
    dbd6f51

  • fixed the erroneous markdown link usage by matus

    @jfdm jfdm committed Mar 18, 2015
    3c304af

  • matus

    @ziman ziman committed Mar 18, 2015
    10b543b

  • Updated Idris Developers Meeting, March 2015 (markdown)

    @david-christiansen david-christiansen committed Mar 18, 2015
    bf7fc97

  • Updated Idris Developers Meeting, March 2015 (markdown)

    @edwinb edwinb committed Mar 18, 2015
    e86d857

  • Updated Idris Developers Meeting, March 2015 (markdown)

    @edwinb edwinb committed Mar 17, 2015
    67b988b

  • added contributions for Jan.

    @jfdm jfdm committed Mar 17, 2015
    29f8b35

  • Updated Idris Developers Meeting, March 2015 (markdown)

    @david-christiansen david-christiansen committed Mar 16, 2015
    e6e3ebd

  • Updated Idris Developers Meeting, March 2015 (markdown)

    @edwinb edwinb committed Mar 16, 2015
    528455a

  • Updated Idris Developers Meeting, March 2015 (markdown)

    @edwinb edwinb committed Mar 16, 2015
    4af77d5

  • Updated Idris Developers Meeting, March 2015 (markdown)

    @david-christiansen david-christiansen committed Mar 16, 2015
    34bca7c

  • grammar updates

    @jfdm jfdm committed Mar 15, 2015
    d89f9f1

  • Updated Idris Developers Meeting, March 2015 (markdown)

    @edwinb edwinb committed Mar 13, 2015
    554729c

  • Updated Idris Developers Meeting, March 2015 (markdown)

    @david-christiansen david-christiansen committed Mar 7, 2015
    a5c8077

  • Added talk by Andres, per his request

    @david-christiansen david-christiansen committed Mar 7, 2015
    8e14cfb

  • Updated Idris Developers Meeting, March 2015 (markdown)

    @edwinb edwinb committed Mar 6, 2015
    f35c13c

  • If there's interest, I can give a talk on the things agdARGS is based on

    @gallais gallais committed Mar 5, 2015
    d786646

  • Added more documentation options.

    @jfdm jfdm committed Feb 25, 2015
    b81def8

  • Added topics for focused hacking sessions.

    @jfdm jfdm committed Feb 24, 2015
    9e10a21

  • Updated Idris Developers Meeting, March 2015 (markdown)

    @markuspf markuspf committed Feb 24, 2015
    da88a40

  • Add more discussion points for documentation.

    @jfdm jfdm committed Feb 23, 2015
    abcc5ea

  • Updated Idris Developers Meeting, March 2015 (markdown)

    @david-christiansen david-christiansen committed Feb 19, 2015
    c4a90ec

  • Updated Idris Developers Meeting, March 2015 (markdown)

    @tdidriksen tdidriksen committed Feb 18, 2015
    8ff5068

  • Updated Idris Developers Meeting, March 2015 (markdown)

    @tdidriksen tdidriksen committed Feb 18, 2015
    3c02742

  • Updated Idris Developers Meeting, March 2015 (markdown)

    @jfdm jfdm committed Feb 17, 2015
    0e4eab5

  • Updated Idris Developers Meeting, March 2015 (markdown)

    @jfdm jfdm committed Feb 16, 2015
    c874996

  • Updated Idris Developers Meeting, March 2015 (markdown)

    @reuleaux reuleaux committed Feb 16, 2015
    72c74d5

  • Updated Idris Developers Meeting, March 2015 (markdown)

    @david-christiansen david-christiansen committed Feb 14, 2015
    d91dbac

  • Added discussion points.

    @jfdm jfdm committed Feb 12, 2015
    8c23565

  • Created Idris Developers Meeting, March 2015 (markdown)

    @edwinb edwinb committed Feb 9, 2015
    a50ff59