11 commits

Author	SHA1	Message	Date
Lars Brünjes	ba0f4f3173	Merge branch 'main' into updated	2021-05-26 12:28:18 +02:00
tvman99	383c57f1f9	Revert "fixed incorrect datum of give tx"	2021-05-26 17:56:32 +08:00
Lars Brünjes	10103cea1a	Merge branch 'main' into updated	2021-05-25 21:33:13 +02:00
tvman99	36cdb1e753	fixed incorrect datum of give tx	2021-05-26 03:20:19 +08:00
Lars Brünjes	8364980474	bumped Plutus dependency	2021-05-02 22:43:42 +02:00
David Robakowski	f289860f00	Fix devcontainer.json config to support new non-root user handling	2021-04-29 12:03:32 +02:00
Thomas Diesler	66dac083b1	Update plutus to what is used by week04	2021-04-28 20:39:35 +02:00
Lars Brünjes	36baafe0ca	solutions for week 3	2021-04-20 09:12:07 +02:00
Lars Brünjes	63970a7edc	week 3	2021-04-20 09:09:21 +02:00
Lars Brünjes	234e2a205a	continued with week 3	2021-04-18 22:49:27 +02:00
Lars Brünjes	e2e2ccdd20	started with week 3	2021-04-16 22:26:53 +02:00