Skip to content

History

New page

Revisions

  • Fix typo: "partially instantiation" -> "partial instantiation"

    @adrianwong adrianwong committed Jul 31, 2020
    f380d8d

  • Fix typo

    @adrianwong adrianwong committed Oct 23, 2019
    98e402d

  • fix maximum value of 64-bit integers

    @jinwoo jinwoo committed May 4, 2019
    2b6300e

  • Link to Committed choice nondeterminism

    @wangp wangp committed Nov 6, 2018
    e1b8ca8

  • Created Committed choice nondeterminism (markdown)

    @wangp wangp committed Nov 6, 2018
    88b7a68

  • Copyedit.

    @wangp wangp committed Apr 2, 2018
    610b7c5

  • Link to Type classes

    @wangp wangp committed Nov 26, 2017
    8048e91

  • Created Type classes (markdown)

    @wangp wangp committed Nov 26, 2017
    8db9864

  • Link to Existential types

    @wangp wangp committed Sep 24, 2017
    7b6c55c

  • Created Existential types (markdown)

    @wangp wangp committed Sep 24, 2017
    ee14a48

  • Link to Maps

    @wangp wangp committed Aug 27, 2017
    67262cb

  • Created Maps (markdown)

    @wangp wangp committed Aug 27, 2017
    b68e82f

  • Add link to Tutorial.

    @PaulBone PaulBone committed Aug 23, 2017
    0a732d0

  • Link to Abstract types

    @wangp wangp committed Aug 20, 2017
    32bb00b

  • Created Abstract types (markdown)

    @wangp wangp committed Aug 20, 2017
    d15fc3e

  • Fix spelling a spot.

    @juliensf juliensf committed Aug 19, 2017
    146f8c0

  • Improve part on parameterised modes.

    @wangp wangp committed Aug 19, 2017
    244f0b5

  • Link to Modules

    @wangp wangp committed Aug 6, 2017
    fac6af7

  • Created Modules (markdown)

    @wangp wangp committed Aug 6, 2017
    c98974e

  • Link to Higher-order programming

    @wangp wangp committed Jul 23, 2017
    c2ce174

  • Created Higher-order programming (markdown)

    @wangp wangp committed Jul 23, 2017
    887cc45

  • Link to Insts

    @wangp wangp committed Jul 16, 2017
    a7d8455

  • Created Insts (markdown)

    @wangp wangp committed Jul 16, 2017
    a38c1ad

  • Fix explanation of cc.

    @wangp wangp committed Jul 9, 2017
    503d76d

  • Link to Zebra puzzle

    @wangp wangp committed Jul 9, 2017
    3cc674a

  • Created Zebra puzzle (markdown)

    @wangp wangp committed Jul 9, 2017
    fb72b94

  • Fix count of memory allocations.

    @wangp wangp committed Jul 1, 2017
    66ec67d

  • Enable syntax highlighting.

    @wangp wangp committed Jul 1, 2017
    6ad0607

  • Enable syntax highlighting.

    @wangp wangp committed Jul 1, 2017
    8d606f6

  • Link to Lists

    @wangp wangp committed Jul 1, 2017
    60346e6