summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Neil Smith [Fri, 2 Dec 2016 13:33:04 +0000 (13:33 +0000)]
Tidied kb1 definition
Neil Smith [Fri, 2 Dec 2016 13:28:29 +0000 (13:28 +0000)]
Tidied code
Neil Smith [Fri, 2 Dec 2016 13:24:01 +0000 (13:24 +0000)]
Day 2
Neil Smith [Thu, 1 Dec 2016 14:46:26 +0000 (14:46 +0000)]
More point-free
Neil Smith [Thu, 1 Dec 2016 14:22:39 +0000 (14:22 +0000)]
Day 1 done