Skip to content

History / Unofficial FAQ

Edit page New page

Revisions

  • 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

  • Updated Unofficial FAQ (markdown)

    @jacereda jacereda committed Feb 26, 2018
    6bc70e1

  • Updated Unofficial FAQ (markdown)

    @jacereda jacereda committed Feb 26, 2018
    1218666

  • Cast ty ty

    @jacereda jacereda committed Feb 26, 2018
    d6f215e

  • Add TOC

    @dbohdan dbohdan committed Aug 16, 2017
    3e5027c

  • Fix a type

    @dstechenko dstechenko committed Apr 28, 2017
    1647e73

  • Updated Unofficial FAQ (markdown)

    @jfdm jfdm committed Dec 6, 2016
    06da855

  • Updated Unofficial FAQ (markdown)

    @edwinb edwinb committed Dec 5, 2016
    f1c1916

  • Fix broken link to Javascript-Notes

    @steshaw steshaw committed Sep 11, 2016
    c0e061f

  • Unify type alias naming with official FAQ and add note for exported type aliases

    @inyono inyono committed Sep 6, 2016
    34612d8

  • Correction made to location of traverse

    @RossMeikleham RossMeikleham committed Feb 27, 2016
    830fceb

  • Fixed typos

    @Myrl Myrl committed Feb 27, 2016
    2c2031b

  • Update ways to get function documentation

    @Melvar Melvar committed Oct 16, 2015
    6eb4a64

  • Remove outdated laziness info

    @Melvar Melvar committed Oct 16, 2015
    2cbf5c0

  • There is good documentation for records in the tutorial now, thus where they are shouldn’t be a common question anymore.

    @Melvar Melvar committed Oct 16, 2015
    d9eca9b

  • Remove obsolete question about gc.h, which is no longer used.

    @Melvar Melvar committed Oct 16, 2015
    b79d1ad

  • Updated Unofficial FAQ (markdown)

    @markuspf markuspf committed Aug 18, 2015
    bebb28e

  • Updated Unofficial FAQ (markdown)

    @markuspf markuspf committed Aug 18, 2015
    381024f

  • fixed code block

    @JakobBruenker JakobBruenker committed Jul 13, 2015
    3becd80

  • updated records section because of new syntax

    @JakobBruenker JakobBruenker committed Jul 13, 2015
    ae96a67

  • Removed superfluous laziness section, moved rest of the sections closer together.

    Ahmad Salim Al-Sibahi committed May 26, 2015
    cae8b56

  • Update the link to the FAQ.

    @robrix robrix committed Mar 30, 2015
    029e0a0

  • Added link to stack overflow answer for idris evaluation semantics.

    @jfdm jfdm committed Mar 19, 2015
    f405c00

  • Added entry on scraping IRC.

    @jfdm jfdm committed Mar 18, 2015
    36bf95d

  • Added FAQ Entry concerning Float and Double naming

    @jfdm jfdm committed Mar 18, 2015
    b888b8d

  • as-patterns are available now, removed the corresponding entry

    @defanor defanor committed Dec 21, 2014
    6b0bd05

  • removed entry as LLVM backend has been factored out.

    jfdm committed Dec 5, 2014
    1064fcf

  • updated naming of FalseElim to void and _|_ to Void

    evanrinehart committed Nov 14, 2014
    2b6f631

  • added the as-patterns question

    @defanor defanor committed Oct 8, 2014
    0df9e70

  • removed an outdated section ("Empty data declarations don't work?")

    @defanor defanor committed Oct 7, 2014
    ee50d24