Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 11, 2017

• Ex5 in the repo! The window manager is ready to go.

  pigworker

  committed
  6817459

  Copy full SHA for 6817459

Commits on Apr 10, 2017

• spotted another Ex6

  pigworker

  committed
  b8e620b

  Copy full SHA for b8e620b

• Ex4 is go!

  pigworker

  committed
  95ebb1e

  Copy full SHA for 95ebb1e

Commits on Nov 29, 2016

• lec 19

  pigworker

  committed
  14c21fc

  Copy full SHA for 14c21fc

Commits on Nov 22, 2016

• last part of Ex3

  pigworker

  committed
  2bb11ca

  Copy full SHA for 2bb11ca

Commits on Nov 15, 2016

• lec 17

  pigworker

  committed
  2931722

  Copy full SHA for 2931722

• added the dependent EXT: thanks, James

  pigworker

  committed
  c1772c5

  Copy full SHA for c1772c5

Commits on Nov 11, 2016

• lecture files

  pigworker

  committed
  4a7e590

  Copy full SHA for 4a7e590

• a few wee fixes

  pigworker

  committed
  e260cea

  Copy full SHA for e260cea

• more of Ex3

  pigworker

  committed
  41ce49f

  Copy full SHA for 41ce49f

Commits on Nov 1, 2016

• Ex3 start

  pigworker

  committed
  bf0017a

  Copy full SHA for bf0017a

Commits on Oct 25, 2016

• push from Tuesday 25 Oct

  pigworker

  committed
  a431bfa

  Copy full SHA for a431bfa

Commits on Oct 21, 2016

• Lec10

  pigworker

  committed
  981489b

  Copy full SHA for 981489b

Commits on Oct 18, 2016

• rest of Ex2.agda

  pigworker

  committed
  f15fa69

  Copy full SHA for f15fa69

Commits on Oct 17, 2016

• lec 08 material

  pigworker

  committed
  78f2686

  Copy full SHA for 78f2686

Commits on Oct 11, 2016

• ex2 in the repo

  pigworker

  committed
  f6580c9

  Copy full SHA for f6580c9

• added the zipper

  pigworker

  committed
  a8a3c0b

  Copy full SHA for a8a3c0b

Commits on Oct 7, 2016

• checking view

  pigworker

  committed
  bf848c2

  Copy full SHA for bf848c2

Commits on Oct 4, 2016

• lec 5

  pigworker

  committed
  2d0b262

  Copy full SHA for 2d0b262

• kickoff for l5

  pigworker

  committed
  bb128e9

  Copy full SHA for bb128e9

• Merge branch 'master' of github.com:pigworker/CS410-16

  pigworker

  committed
  e6527fe

  Copy full SHA for e6527fe

• updates from lectures

  pigworker

  committed
  c8deebd

  Copy full SHA for c8deebd

Commits on Sep 20, 2016

• Add link to Agda documentation in the Readme

  bishboria

  authored
  d1bca0c

  Copy full SHA for d1bca0c

• Fix silly mistakes

  bishboria

  authored
  06d486b

  Copy full SHA for 06d486b

• Forgot to add Save-buffer emacs command

  bishboria

  authored
  0d2df11

  Copy full SHA for 0d2df11

• Add extra way to do

  bishboria

  committed
  2f68f8c

  Copy full SHA for 2f68f8c

• Fix 1.13 declaration and score format

  bishboria

  committed
  5145425

  Copy full SHA for 5145425

• install specific version

  pigworker

  committed
  c2a9f43

  Copy full SHA for c2a9f43

• Update README.md

  pigworker

  authored
  184d753

  Copy full SHA for 184d753

• installation instrucitons

  pigworker

  committed
  be85252

  Copy full SHA for be85252

• Merge pull request #1 from pigworker/cheat-sheet

  Show description for 491a123
  pigworker

  authored
  491a123

  Copy full SHA for 491a123

• Update README.md

  pigworker

  authored
  aa2de88

  Copy full SHA for aa2de88

• Ex1 in the repo

  pigworker

  committed
  d028343

  Copy full SHA for d028343

• Add cheat sheet for Agda and Emacs

  Show description for bf0ee22
  bishboria

  committed
  bf0ee22

  Copy full SHA for bf0ee22

• brexit gag reached, at least

  pigworker

  committed
  4963add

  Copy full SHA for 4963add

Pagination

Previous

Next