Sean Watters (afb5491b) at 20 Sep 12:51
[agda/fresh-lists] fix anchors for 21+22
Sean Watters (49a63524) at 20 Sep 12:44
[agda/fresh-lists] update anchors
Sean Watters (b0f84652) at 20 Sep 12:31
[agda/fresh-lists] header links
Sean Watters (1770dded) at 20 Sep 12:11
[agda/fresh-lists] update version
Sean Watters (e56d332f) at 15 Sep 16:54
[agda/fresh-lists] fix typo
Sean Watters (fb4a638b) at 15 Sep 16:12
[agda/fresh-lists] anchor names
Sean Watters (358ee07a) at 15 Sep 14:04
agda formalization of fresh lists
Sean Watters (fdd78c19) at 14 Sep 21:50
Initial commit
Sean Watters (6dc39cb1) at 01 Aug 13:07
update bio
Sean Watters (1b26fd95) at 01 Aug 12:50
update profile pic
Sean Watters (795cf095) at 01 Aug 12:38
github
Sean Watters (b31543c6) at 11 Jul 14:22
fix cv url
Sean Watters (14a584fc) at 11 Jul 14:09
fix cv file name
Sean Watters (811b4b8a) at 11 Jul 14:02
avatar, cv, text