Skip to content

History

Revisions

  • Updated Polymorphism (markdown)

    @xxdavid xxdavid committed Sep 6, 2024
    b8fc166

  • Fix a few typos

    @xxdavid xxdavid committed May 9, 2024
    3eaeb83

  • Fix another link

    @xxdavid xxdavid committed May 3, 2024
    969a327

  • Fix the link

    @xxdavid xxdavid committed May 3, 2024
    44132a6

  • Add a page on polymorphism

    @xxdavid xxdavid committed May 3, 2024
    4741eee

  • Fix typos in the last paragraph

    @xxdavid xxdavid committed Apr 19, 2024
    42191d7

  • Updated Exhaustiveness checking and algebraic data types (markdown)

    @erszcz erszcz committed Jun 11, 2022
    6d2fad2

  • Updated Exhaustiveness checking and algebraic data types (markdown)

    @erszcz erszcz committed Jun 8, 2022
    5040342

  • Introduce "Exhaustiveness checking and algebraic data types" page

    @erszcz erszcz committed Jun 8, 2022
    db99610

  • Updated Bidirectional type checking (markdown)

    @erszcz erszcz committed Jun 8, 2022
    43beab2

  • Updated Gradual typing (markdown)

    @zuiderkwast zuiderkwast committed Aug 19, 2021
    fd5da22

  • Added some explanation on map update expression and map pattern

    @zuiderkwast zuiderkwast committed Mar 5, 2020
    6f0e853

  • Updated Map types (markdown)

    @zuiderkwast zuiderkwast committed Mar 4, 2020
    5a4f423

  • Updated Map types (markdown)

    @zuiderkwast zuiderkwast committed Mar 4, 2020
    bae6d9d

  • Updated Map types (markdown)

    @zuiderkwast zuiderkwast committed Mar 3, 2020
    53c02fb

  • Updated Map types (markdown)

    @zuiderkwast zuiderkwast committed Mar 3, 2020
    d5947dc

  • Add subtype condition for mandatory keys in M2 and fix typos

    @zuiderkwast zuiderkwast committed Mar 3, 2020
    6f77344

  • Created Map types (markdown)

    @zuiderkwast zuiderkwast committed Mar 3, 2020
    bb2c198

  • Explain some of the differences between Gradualizer and Dialyzer

    @josefs josefs committed Feb 4, 2020
    42fc657

  • Add recently implemented variants of refinement

    @zuiderkwast zuiderkwast committed Jan 15, 2020
    f6dbb6c

  • Link to Known problems

    @zuiderkwast zuiderkwast committed Oct 22, 2019
    a6a2db1

  • Updated Known problems (markdown)

    @zuiderkwast zuiderkwast committed Oct 22, 2019
    f6fc521

  • Updated Known problems (markdown)

    @zuiderkwast zuiderkwast committed Oct 22, 2019
    5c15b1b

  • Created Known problems (markdown)

    @zuiderkwast zuiderkwast committed Oct 22, 2019
    ccfd60f

  • Updated Type annotations (markdown)

    @zuiderkwast zuiderkwast committed Mar 25, 2019
    3c32ec2

  • Type annotations page

    @gomoripeti gomoripeti committed Mar 23, 2019
    9d42e90

  • Placeholder page

    @zuiderkwast zuiderkwast committed Dec 22, 2018
    1a68523

  • Created Type inference (markdown)

    @zuiderkwast zuiderkwast committed Dec 22, 2018
    20ec25f

  • First version of page

    @zuiderkwast zuiderkwast committed Dec 22, 2018
    617183f

  • Created Gradual typing (markdown)

    @zuiderkwast zuiderkwast committed Dec 22, 2018
    82f45e2