Skip to content

History

Revisions

  • added Set Relation example

    @RTKno1 RTKno1 committed Aug 15, 2022
    583a348

  • Updated Exercise File Format (markdown)

    @RTKno1 RTKno1 committed Aug 1, 2022
    2cc54b0

  • Added Set Relation symbols

    @RTKno1 RTKno1 committed Aug 1, 2022
    ff1696e

  • added note on typing of traces

    @aualsop aualsop committed Jan 18, 2021
    6764e79

  • Updated Exercise Files (markdown)

    @RTKno1 RTKno1 committed Jan 18, 2021
    ff0c945

  • fixed example links

    @RTKno1 RTKno1 committed Jan 18, 2021
    9ef2e84

  • Updated Exercise Files (markdown)

    @nigelflower nigelflower committed Jan 18, 2021
    8ec8f82

  • Merge branch 'master' of https://github.com/nyusemantics/LambdaCalculatorPublic.wiki

    @nigelflower nigelflower committed Jan 18, 2021
    01481b2

  • added exercise files

    @nigelflower nigelflower committed Jan 18, 2021
    69027bf

  • Updated Exercise Files (markdown)

    @nigelflower nigelflower committed Jan 18, 2021
    d1f4e3f

  • replaced textfile icons by emojis

    @champoll champoll committed Jan 13, 2021
    eb94130

  • Updated Exercise Files (markdown)

    @champoll champoll committed Jan 13, 2021
    e919ac5

  • Updated Exercise Files (markdown)

    @champoll champoll committed Jan 13, 2021
    8f9e1a4

  • Updated Exercise Files (markdown)

    @champoll champoll committed Jan 13, 2021
    3eae49a

  • changed https to http in links to lambdacalculator.com

    @champoll champoll committed Jan 13, 2021
    2388881

  • changed https to http in links to lambdacalculator.com

    @champoll champoll committed Jan 13, 2021
    e369430

  • changed https to http in links to lambdacalculator.com

    @champoll champoll committed Jan 13, 2021
    f152723

  • changed https to http in links to lambdacalculator.com

    @champoll champoll committed Jan 13, 2021
    d8d1f54

  • changed https to http in links to lambdacalculator.com

    @champoll champoll committed Jan 13, 2021
    19dd7cf

  • Updated Documentation (markdown)

    @nigelflower nigelflower committed Dec 18, 2020
    ea94d50

  • Updated Home (markdown)

    @nigelflower nigelflower committed Dec 18, 2020
    a8344f3

  • Updated _Sidebar (markdown)

    @nigelflower nigelflower committed Dec 18, 2020
    8ddfced

  • Updated Documentation (markdown)

    @nigelflower nigelflower committed Dec 18, 2020
    f345b55

  • Updated _Sidebar (markdown)

    @nigelflower nigelflower committed Dec 18, 2020
    6d98649

  • Created Special Symbols (markdown)

    @nigelflower nigelflower committed Dec 18, 2020
    7ca22dc

  • Created Exercise File Format (markdown)

    @nigelflower nigelflower committed Dec 18, 2020
    96f9311

  • Created _Sidebar (markdown)

    @nigelflower nigelflower committed Dec 18, 2020
    96f5cbd

  • Created Documentation (markdown)

    @nigelflower nigelflower committed Dec 18, 2020
    48a0126

  • Updated Exercise Files (markdown)

    @nigelflower nigelflower committed Dec 18, 2020
    f0cab32

  • Created Exercise Files (markdown)

    @nigelflower nigelflower committed Dec 18, 2020
    5bcdc1c