Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 20, 2023

• Used 'hygiene false' trick to improve readability

  wadler

  committedNov 20, 2023
  dc648a2

Commits on Nov 19, 2023

• Added type ascriptions, which fixed many bugs.

  wadler

  committedNov 19, 2023
  a4684b2

• Updates after interaction with Lean Zulip.

  wadler

  committedNov 19, 2023
  366c943

• Save before updating Lean

  wadler

  committedNov 19, 2023
  d691ca8

• Small updates

  wadler

  committedNov 19, 2023
  b84b6b0

• Added Typesig.lean which attempts to use calc for reduction chains

  wadler

  committedNov 19, 2023
  61e2995

Commits on Nov 18, 2022

• fixed everything!

  wadler

  committedNov 18, 2022
  b334801

• second attempt

  wadler

  committedNov 18, 2022
  4d002ce

• exploring antisymmetry

  wadler

  committedNov 18, 2022
  8e3d3ed

Commits on Aug 3, 2022

• update Relations

  wadler

  committedAug 3, 2022
  6bfc3a7

• update Relations

  wadler

  committedAug 3, 2022
  f6a040c

Commits on Jul 29, 2022

• Demo of calc for <

  wadler

  committedJul 29, 2022
  3b5b5ca

Commits on Jul 28, 2022

• clean up, move part1/*.lean up one level

  wadler

  committedJul 28, 2022
  6452afd

• clean up

  wadler

  committedJul 28, 2022
  3d85481

• Fiddling with Trans

  wadler

  committedJul 28, 2022
  fbbb271

• Merged after-class version with calc example

  wadler

  committedJul 28, 2022
  7122b47

• Using Trans in Relations.

  wadler

  committedJul 28, 2022
  f667484

Commits on Jul 22, 2022

• end of class

  wadler

  committedJul 22, 2022
  2d83a0c

• try a third time

  wadler

  committedJul 22, 2022
  3c05926

• try again

  wadler

  committedJul 22, 2022
  cc6d48f

• class

  wadler

  committedJul 22, 2022
  fe7ea73

• DeBruijn first draft complete and working!

  wadler

  committedJul 22, 2022
  1c21425

• first draft of DeBruijn complete

  wadler

  committedJul 22, 2022
  0ab2b26

Commits on Jul 21, 2022

• Completed DeBruijn through progress

  wadler

  committedJul 21, 2022
  c801cf5

• sub

  wadler

  committedJul 21, 2022
  aa474a6

• rename

  wadler

  committedJul 21, 2022
  03f4d7d

• partway through DeBruijn

  wadler

  committedJul 21, 2022
  5dc0d24

• update notation

  wadler

  committedJul 21, 2022
  f9ca725

Commits on Jul 20, 2022

• added examples of injection to Naturals

  wadler

  committedJul 20, 2022
  696f53f

• Merge branch 'main' of github.com:plfa/plfl

  wadler

  committedJul 20, 2022
  d645693

• add Test.lean

  wadler

  committedJul 20, 2022
  30f9964

• save work done Friday

  wadler

  committedJul 20, 2022
  24286ba

Commits on Jul 18, 2022

• added exercise to Induction

  wadler

  committedJul 18, 2022
  c3e4f59

Commits on Jul 14, 2022

• fixed ofNat in Naturals

  wadler

  committedJul 14, 2022
  d12bb51

• Update to Zero in Induction

  wadler

  committedJul 14, 2022
  0484209

Pagination

PreviousNext