2 commits

Author	SHA1	Message	Date
Charlotte 🦝 Delenk	cdf878533b	switch to fixed dhall	2022-09-07 17:01:16 +01:00
Charlotte 🦝 Delenk	1883716525	Add Bool/	2022-08-31 15:59:38 +01:00