Commit Graph

5 Commits

Author SHA1 Message Date
Gregor Reitzenstein
55dcf6dd80 Updates to allow use()ing stuff 2021-02-09 17:41:05 +00:00
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