Commits

Branch selector

 dev

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 5, 2019

• [ fix ] bug in the last line of Formal vs. Informal

  Show description for 908e0b1
  gallais

  committed
  908e0b1

  Copy full SHA for 908e0b1

• updated CallByName so that Substitution can come afterwards

  jsiek

  committed
  3b69066

  Copy full SHA for 3b69066

• Merge branch 'dev' of https://github.com/plfa/plfa.github.io into dev

  jsiek

  committed
  0ef4274

  Copy full SHA for 0ef4274

• change Untyped to non-deterministic reduction

  jsiek

  committed
  b875fff

  Copy full SHA for b875fff

• fix spacing in Induction

  wadler

  committed
  9df5fbf

  Copy full SHA for 9df5fbf

Commits on Aug 4, 2019

• change how Confluence refers to Substitution

  jsiek

  committed
  f260026

  Copy full SHA for f260026

• Merge pull request #370 from h4iku/type-name-patch

  Show description for 57c6129
  wadler

  authored
  57c6129

  Copy full SHA for 57c6129

• Merge pull request #371 from h4iku/bracket-arrow-patch

  Show description for 3600e7b
  wadler

  authored
  3600e7b

  Copy full SHA for 3600e7b

• Added a missing bracket, and fixed arrows

  h4iku

  authored
  dd1659b

  Copy full SHA for dd1659b

Commits on Aug 3, 2019

• Fixed a type name

  h4iku

  authored
  a540af6

  Copy full SHA for a540af6

Commits on Aug 1, 2019

• Updated README

  wadler

  committed
  33ffce8

  Copy full SHA for 33ffce8

Commits on Jul 30, 2019

• Fix #365 and #366

  wenkokke

  committed
  ef329e6

  Copy full SHA for ef329e6

Commits on Jul 29, 2019

• small change to Relations

  wadler

  committed
  e7c293c

  Copy full SHA for e7c293c

Commits on Jul 28, 2019

• Merge pull request #364 from mdimjasevic/untyped-well-typed

  Show description for 299482e
  wadler

  authored
  299482e

  Copy full SHA for 299482e

• added course

  wadler

  committed
  122db68

  Copy full SHA for 122db68

• Added course to index

  wadler

  committed
  6cc7f08

  Copy full SHA for 6cc7f08

Commits on Jul 26, 2019

• Untyped: fixes usage of 'well typed' and 'well scoped' per and inspired by issue #318

  mdimjasevic

  committed
  69601ef

  Copy full SHA for 69601ef

Commits on Jul 25, 2019

• More fixes regarding #323

  wenkokke

  committed
  4a5d1e4

  Copy full SHA for 4a5d1e4

• Put acknowledgements in grid layout

  wenkokke

  committed
  2905e72

  Copy full SHA for 2905e72

• Fix bug with display of prev/src/next

  wenkokke

  committed
  35c6083

  Copy full SHA for 35c6083

• Removed traces of agda2html from Makefile

  wenkokke

  committed
  6db4f14

  Copy full SHA for 6db4f14

• Fix #323

  wenkokke

  committed
  e116756

  Copy full SHA for e116756

• DeBruijn: fixes the usage of 'well typed' per issue #318

  

  mdimjasevic

  authored and

  wenkokke

  committed
  b294f6c

  Copy full SHA for b294f6c

• More: fixes the usage of 'well typed' per issue #318

  

  mdimjasevic

  authored and

  wenkokke

  committed
  a1057ba

  Copy full SHA for a1057ba

• Inference: fixes the usage of 'ill typed' per issue #318

  

  mdimjasevic

  authored and

  wenkokke

  committed
  86e00d7

  Copy full SHA for 86e00d7

Commits on Jul 22, 2019

• removed slides as per Wen's suggestion@

  wadler

  committed
  535d1de

  Copy full SHA for 535d1de

• completing merge

  wadler

  committed
  de2d411

  Copy full SHA for de2d411

• Merge pull request #358 from kenichi-asai/typo-lambda-bnf

  Show description for 3fcf606
  wadler

  authored
  3fcf606

  Copy full SHA for 3fcf606

• Merge pull request #357 from mdimjasevic/lambda-well-typed

  Show description for 8f463d8
  wadler

  authored
  8f463d8

  Copy full SHA for 8f463d8

• add space in the syntax of terms in BNF

  kenichi-asai

  committed
  b4bc7fd

  Copy full SHA for b4bc7fd

Commits on Jul 21, 2019

• Lambda: fixes the 'well typed' usage per issue #318

  mdimjasevic

  committed
  541c596

  Copy full SHA for 541c596

• Fix Guardfile

  

  fangyi-zhou

  authored and

  wenkokke

  committed
  11b7494

  Copy full SHA for 11b7494

• Merge pull request #356 from mdimjasevic/prop-subst-var

  Show description for 3a136bf
  wadler

  authored
  3a136bf

  Copy full SHA for 3a136bf

• Update Properties.lagda

  Show description for 4c94b98
  wadler

  authored
  4c94b98

  Copy full SHA for 4c94b98

• added submitted version to repository

  wadler

  committed
  5e1dc3e

  Copy full SHA for 5e1dc3e

Pagination

Previous

Next