Florian Dold
|
47787c0b0b
|
make linter less grumpy
|
2020-04-06 23:32:01 +05:30 |
|
Florian Dold
|
aaf950e2ad
|
re-format with prettier v2, fix HTML
|
2020-03-30 16:09:32 +05:30 |
|
Florian Dold
|
266b33dc42
|
fix bug in the WebExtensions pay page
|
2019-12-25 19:24:23 +01:00 |
|
Florian Dold
|
0c9358c1b2
|
new date format, replace checkable annotations with codecs
|
2019-12-19 20:42:49 +01:00 |
|
Florian Dold
|
fa4621e70c
|
history events WIP
|
2019-12-16 12:53:22 +01:00 |
|
Florian Dold
|
a0b5aba71c
|
allow specifying common base type for unions
|
2019-12-14 19:09:01 +01:00 |
|
Florian Dold
|
47b2b84135
|
better type errors
|
2019-12-14 19:00:24 +01:00 |
|
Florian Dold
|
a4a9b16153
|
type safety
|
2019-12-14 18:46:42 +01:00 |
|
Florian Dold
|
690bbfcfd8
|
nicer unions
|
2019-12-14 18:00:03 +01:00 |
|
Florian Dold
|
60d154c36b
|
union codecs, error messages
|
2019-12-14 17:55:31 +01:00 |
|
Florian Dold
|
749b96284a
|
codecs WIP
|
2019-12-14 17:23:31 +01:00 |
|