Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 25, 2020

• Update workshop files

  kryptt

  committed
  66e336e

  Copy full SHA for 66e336e

Commits on Sep 9, 2019

• Update workshop-one.org

  Show description for 1a6c071
  kryptt

  authored
  1a6c071

  Copy full SHA for 1a6c071

Commits on Aug 13, 2019

• optics

  kryptt

  committed
  aa8357c

  Copy full SHA for aa8357c

Commits on Jul 10, 2019

• Pull out the beginnings of session two from session one.

  kryptt

  committed
  1fa145b

  Copy full SHA for 1fa145b

• Shorten the scope of the first workshop based on first attempt

  kryptt

  committed
  4f911a1

  Copy full SHA for 4f911a1

Commits on Jul 8, 2019

• Constructive Programming - Workshop One

  kryptt

  committed
  94a5195

  Copy full SHA for 94a5195

Commits on Aug 5, 2015

• Mention Set[G] as al algebra

  kryptt

  committed
  af9cdb0

  Copy full SHA for af9cdb0

• First stab at thinking in terms of composable programs.

  kryptt

  committed
  41e93da

  Copy full SHA for 41e93da

Commits on Aug 4, 2015

• Free Algebras

  kryptt

  committed
  e059fac

  Copy full SHA for e059fac

• More slides

  kryptt

  committed
  647cb4a

  Copy full SHA for 647cb4a

Commits on Aug 3, 2015

• use tut:nofail

  kryptt

  committed
  8e0c414

  Copy full SHA for 8e0c414

• Initial steps to aggregate presentations.

  kryptt

  committed
  d6a8dd6

  Copy full SHA for d6a8dd6

Commits on Aug 1, 2015

• Initial work on the adt meetup

  kryptt

  committed
  7c3afb5

  Copy full SHA for 7c3afb5