Skip to content

History

New page

Revisions

  • Updated Idris Developers Meeting, April May 2014 (markdown)

    @melted melted committed Apr 23, 2014
    e7d5529

  • Updated Idris Developers Meeting, April May 2014 (markdown)

    @sualitu sualitu committed Apr 23, 2014
    f5d69a9

  • Updated Erasure by usage analysis (markdown)

    @ziman ziman committed Apr 23, 2014
    cac2096

  • Updated Erasure by usage analysis (markdown)

    @ziman ziman committed Apr 23, 2014
    b57d682

  • Updated Idris Developers Meeting, April May 2014 (markdown)

    @sualitu sualitu committed Apr 17, 2014
    003c2e9

  • cygwin blocks

    @juhp juhp committed Apr 17, 2014
    e66a5d6

  • Updated Erasure by usage analysis (markdown)

    @ziman ziman committed Apr 15, 2014
    5d81c8b

  • Updated Erasure by usage analysis (markdown)

    @ziman ziman committed Apr 14, 2014
    5852cce

  • Updated Erasure by usage analysis (markdown)

    @ziman ziman committed Apr 14, 2014
    8e5afcf

  • Updated Erasure by usage analysis (markdown)

    @ziman ziman committed Apr 14, 2014
    a9474f0

  • Outline added

    @ziman ziman committed Apr 14, 2014
    b927d24

  • Updated Erasure by usage analysis (markdown)

    @ziman ziman committed Apr 14, 2014
    7163179

  • Add troubleshooting

    @ziman ziman committed Apr 14, 2014
    d6becde

  • Fixed the link to sodium-idris

    Alexey Alekhin committed Apr 14, 2014
    e42bb75

  • Updated Erasure by usage analysis (markdown)

    @ziman ziman committed Apr 11, 2014
    3973aa0

  • Updated Erasure by usage analysis (markdown)

    @ziman ziman committed Apr 11, 2014
    568321a

  • Updated Erasure by usage analysis (markdown)

    @ziman ziman committed Apr 11, 2014
    c39eafc

  • More info

    @ziman ziman committed Apr 11, 2014
    7f25fd6

  • Updated Erasure by usage analysis (markdown)

    @ziman ziman committed Apr 11, 2014
    752940a

  • Updated Egg #2: Erasure annotations (markdown)

    @ziman ziman committed Apr 11, 2014
    4bb6b85

  • Updated Egg #2: Erasure annotations (markdown)

    @ziman ziman committed Apr 11, 2014
    5268994

  • Updated Egg #2: Erasure annotations (markdown)

    @ziman ziman committed Apr 11, 2014
    e5a3440

  • Initial version

    @ziman ziman committed Apr 11, 2014
    1d129b7

  • Registered myself.

    @andreasabel andreasabel committed Apr 11, 2014
    2bbd872

  • "Why do I have to use 'compute' manually?" added.

    @ziman ziman committed Apr 10, 2014
    7f8f657

  • Updated Idris Developers Meeting, April May 2014 (markdown)

    @david-christiansen david-christiansen committed Apr 10, 2014
    18b0a74

  • Updated Idris Developers Meeting, April May 2014 (markdown)

    @david-christiansen david-christiansen committed Apr 10, 2014
    94f9c44

  • advanced optimizations

    @dckc dckc committed Apr 9, 2014
    c25bd3b

  • shrinking

    @dckc dckc committed Apr 9, 2014
    15a0ce9

  • excerpt from 12.6 JavaScript Target of the tutorial

    @dckc dckc committed Apr 9, 2014
    669d1de