[directories
ulfn@cs.chalmers.se**20080429124926] 
[start on the lecture notes
ulfn@cs.chalmers.se**20080507151955] 
[draft version of lecture notes (submitted)
ulfn@cs.chalmers.se**20080512002424] 
[lecture 1 stuff
ulfn@cs.chalmers.se**20080519094535] 
[some exercises
ulfn@cs.chalmers.se**20080519143223] 
[lecture 2 and exercises
ulfn@cs.chalmers.se**20080520161913] 
[firebird Haskell bindings
ulfn@cs.chalmers.se**20080520162931] 
[exercise 3 stuff
ulfn@cs.chalmers.se**20080520213600] 
[exercise/lecture 3
ulfn@cs.chalmers.se**20080521101527] 
[bug in firebird api
ulfn@cs.chalmers.se**20080521102948] 
[more instructions for exercise 3
ulfn@cs.chalmers.se**20080521103744] 
[more instructions
ulfn@cs.chalmers.se**20080521104128] 
[library changes
ulfn@cs.chalmers.se**20080530072736] 
[updated library and examples to changes in the FFI
ulfn@cs.chalmers.se**20080617173655] 
[preparing lecture notes for printing
ulfn@cs.chalmers.se**20080929124441] 
[exercises in lecture notes
ulfn@cs.chalmers.se**20080929142103] 
[section on compiling Agda programs
ulfn@cs.chalmers.se**20080930143635] 
[lecture note updates
ulfn@cs.chalmers.se**20081120101846]