Commits

Branch selector

master

User selector

All users

All time

Commit history

Commits on Nov 7, 2017

• Capitalisation

  danelahman

  authored
  3d55300View commit details

  Copy full SHA for 3d55300

  Browse repository at this point

• Paper link

  danelahman

  authored
  66e92ffView commit details

  Copy full SHA for 66e92ff

  Browse repository at this point

Commits on Oct 24, 2017

• Readme

  

  Danel Ahman

  committed
  940ea0dView commit details

  Copy full SHA for 940ea0d

  Browse repository at this point

• Readme and comments

  

  Danel Ahman

  committed
  60a322fView commit details

  Copy full SHA for 60a322f

  Browse repository at this point

• Comments

  

  Danel Ahman

  committed
  2ebb2abView commit details

  Copy full SHA for 2ebb2ab

  Browse repository at this point

• Readme

  

  Danel Ahman

  committed
  1557e52View commit details

  Copy full SHA for 1557e52

  Browse repository at this point

• No need for the examples of sets any more

  

  Danel Ahman

  committed
  bca6ed7View commit details

  Copy full SHA for bca6ed7

  Browse repository at this point

• Comments

  

  Danel Ahman

  committed
  192b22eView commit details

  Copy full SHA for 192b22e

  Browse repository at this point

• Examples of decidable types

  

  Danel Ahman

  committed
  3d2f3b5View commit details

  Copy full SHA for 3d2f3b5

  Browse repository at this point

• Unuicode arrows

  

  Danel Ahman

  committed
  456e42aView commit details

  Copy full SHA for 456e42a

  Browse repository at this point

• Derived being a set from decidability using Hedberg's theorem

  

  Danel Ahman

  committed
  b99e84aView commit details

  Copy full SHA for b99e84a

  Browse repository at this point

Commits on Oct 17, 2017

• Some very long lines

  

  Danel Ahman

  committed
  1a98ae8View commit details

  Copy full SHA for 1a98ae8

  Browse repository at this point

Commits on Oct 15, 2017

• Comments

  

  Danel Ahman

  committed
  5276444View commit details

  Copy full SHA for 5276444

  Browse repository at this point

• Readme and Agda files

  

  Danel Ahman

  committed
  60cf5d9View commit details

  Copy full SHA for 60cf5d9

  Browse repository at this point

• Initial commit

  danelahman

  authored
  d188c1aView commit details

  Copy full SHA for d188c1a

  Browse repository at this point