AGDA is awesome!
Submitted by colin on Tue, 2009/10/27 - 15:13.Last week I failed to do any work on my website program, as I was taking a look at agda2. Dependent types are awesome!
»
- colin's blog
- Login or register to post comments
- Read more
Pink Skimmer at Chong Mek
Submitted by naturalist on Sun, 2009/10/25 - 15:31.
Orthetrum pruinosum neglectum (male)
Lake Windermere
Submitted by haiwa on Sun, 2009/10/18 - 19:11.This is lake windermere
»
- haiwa's blog
- Login or register to post comments
Lake Windermere
Submitted by haiwa on Sun, 2009/10/18 - 19:00.今天是个好天气，老公也很高兴，于是我们决定去湖区一天，因为老公经常去，我就省事啦，就等着他安排啦，呵呵！
Equation
Submitted by colin on Fri, 2009/10/09 - 05:28.Haskell + Eiffel = 2 * (contempt for Java)
»
- colin's blog
- Login or register to post comments
Autumn in Hurst Grange Park
Submitted by naturalist on Thu, 2009/10/08 - 05:57.On Monday I went along to do a count, without taking my camera. Along with the expected Common Darters on the three main ponds, there was a male Migrant Hawker searching for females on Long Bob. So yesterday I went again, this time armed with the camera. Needless to say, no Migrant Hawker.
»
- naturalist's blog
- Login or register to post comments
- Read more
Common Darters ovipoisiting in Long Bob
Submitted by naturalist on Thu, 2009/10/08 - 05:53.
Sympetrum striolatum
Common Darters ovipoisiting in Long Bob
Submitted by naturalist on Thu, 2009/10/08 - 05:52.
Sympetrum striolatum (female)
Common Darters ovipoisiting in Long Bob
Submitted by naturalist on Thu, 2009/10/08 - 05:51.
Sympetrum striolatum (male)
Software taking shape
Submitted by colin on Sun, 2009/09/27 - 18:50.My image gallery replacement software for Drupal is gradually taking shape.
»
- colin's blog
- Login or register to post comments
- Read more
