Commit Graph

4 Commits

Author SHA1 Message Date
Gregor Reitzenstein
14eb9b048a Polling futures turns out to be a smart thing to do. Fixes #12 2021-02-08 18:28:27 +00:00
Gregor Reitzenstein
cda947a0e9 No more priority pls 2021-01-20 11:55:15 +00:00
Gregor Reitzenstein
2fbef020a3 Fix config 2020-12-16 12:01:57 +01:00
Gregor Reitzenstein
e22ed819bb Move examples over to dhall 2020-12-15 13:04:21 +01:00