9a8634athe rest of the lectures, unfinishedTurtlePU3 years ago 3191ec7+ Multicore lectureTurtlePU3 years ago 50976bffix refTurtlePU3 years ago ee9fe50+ laws: sourcesTurtlePU3 years ago 0a9c15c+ lecture on lawsTurtlePU3 years ago 655eafefix lecture filesTurtlePU3 years ago 6f98063rewritten in Haddock syntaxTurtlePU3 years ago 4ba1beeswitch back, fix typeTurtlePU3 years ago a430208trying out different extensionsTurtlePU3 years ago b71ac8e+ lecture 1TurtlePU3 years ago c2a5a09+ READMETurtlePU3 years ago