Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 23, 2021

• Set code

  jacobneu

  committed
  02273e9

• Committing Tree.sml

  jacobneu

  committed
  af08346

Commits on Jul 14, 2021

• Rough draft of Regexp, missing some main proofs

  jacobneu

  committed
  3019172

Commits on Jul 9, 2021

• 0709 lecture version

  jacobneu

  committed
  89d2d8f

Commits on Jul 8, 2021

• Merge regexp and exp into main

  jacobneu

  committed
  e468edc

• Updated gitignore

  jacobneu

  committed
  2ad84eb

• Update documentation/language.pdf

  jacobneu

  committed
  639bc66

• Added code to language.pdf

  jacobneu

  committed
  c518e47

• Begin documentation of Language

  jacobneu

  committed
  6150761

Commits on Jul 7, 2021

• Corrected 0707 lecture version, 2021-07-07

  jacobneu

  committed
  b208d40

• Updated Regexp and Language for lecture, 2021-07-07

  jacobneu

  committed
  1a5571a

• Minor edits to CPSIterate

  jacobneu

  committed
  a790c3a

Commits on Jul 1, 2021

• Begin specification of CPSIterate module

  jacobneu

  committed
  1483fe9

• Updates to spec.sty

  jacobneu

  committed
  7af3c55

Commits on Jun 25, 2021

• Exp and Regexp

  jacobneu

  committed
  cb39756

Commits on Jun 22, 2021

• Start list documentation

  jacobneu

  committed
  a92feea

• Fn basis module documentation

  jacobneu

  committed
  900fbbe

• Committing permute documentation tex

  jacobneu

  committed
  1cbce20

Commits on Jun 21, 2021

• Updates to Permute, added documentation

  jacobneu

  committed
  c38173f

Commits on Jun 17, 2021

• Added resources for compiling documentation

  jacobneu

  committed
  2f9ba63

Commits on Jun 16, 2021

• Merge branch 'main' of https://github.com/smlhelp/aux-library into main

  jacobneu

  committed
  4666a36

• Added first draft of Permute.sml

  jacobneu

  committed
  215fb9b

Commits on May 5, 2021

• Update README.md

  jacobneu

  authored
  faffe0a

• Merge branch 'main' of https://github.com/smlhelp/aux-library into main

  jacobneu

  committed
  111ced4

• Init documentation directory, added work-in-progress regexp correctness proof

  jacobneu

  committed
  b03178e

• Added Language and Regexp modules

  jacobneu

  committed
  ec4ffbc

Commits on May 4, 2021

• Merge pull request #2 from smlhelp/fixTiming

  Show description for 1fef8ed
  jacobneu

  authored
  1fef8ed

• Fixed issues with countdowns (& CPS-ified), some formatting changes to Timing

  jacobneu

  committed
  b0726bd

Commits on Apr 27, 2021

• Moved Timing module (sig & struct) into single file, for easier student use

  jacobneu

  committed
  b97851c

Commits on Apr 15, 2021

• Updated main README

  jacobneu

  committed
  bf4482f

• Add first draft of Timing module

  jacobneu

  committed
  ecb55f6

• Initial commit

  jacobneu

  authored
  3788460