56 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Simon Bruder	721bfb2924	Remove unnecessary shell.nix	2021-04-22 19:01:51 +02:00
Simon Bruder	088cfd0238	Fix indentation	2021-04-22 19:01:51 +02:00
Simon Bruder	de8d290ecb	Clean all intermediary files	2021-04-22 19:01:51 +02:00
Simon Bruder	cb8828ec2f	Make build reproducible	2021-04-22 19:01:51 +02:00
Simon Bruder	65460304a6	Use small scheme	2021-04-22 19:01:50 +02:00
Simon Bruder	1b85697938	Initial commit	2021-04-22 19:01:50 +02:00