Lars Brünjes 9e0b13d96c Merge branch 'solutions'		2021-07-21 13:17:59 +02:00
..
week01	bumped Plutus version	2021-06-28 11:24:52 +02:00
week02	removed solutions	2021-07-07 23:36:59 +02:00
week03	removed solutions	2021-07-14 21:17:25 +02:00
week04	updated code	2021-07-20 23:36:09 +02:00