Commit Graph

9 Commits

Author SHA1 Message Date
Nikita Volkov
7d4a3b14f4 Get rid of the decidable instance 2024-04-21 06:35:33 +03:00
Nikita Volkov
a86cfd0873 Get rid of the decidable instance 2024-04-21 06:34:06 +03:00
Nikita Volkov
f2f747e6c6 Switch to ImportQualifiedPost 2024-04-19 07:38:30 +03:00
Nikita Volkov
2edcd367b8 Clarify PTI 2024-04-19 07:34:33 +03:00
Nikita Volkov
658bfe9762 Move away from experimental conventions 2024-01-27 00:23:09 +03:00
Nikita Volkov
af4583f403 Move all the private modules into the according namespace 2016-08-06 12:22:23 +03:00
Nikita Volkov
00231954df Provide an instance of Decidable to the Params encoder 2016-04-25 17:26:25 +03:00
Nikita Volkov
7954c8d734 Semigroup 2016-02-23 09:43:07 +03:00
Nikita Volkov
ef1b6ff8b3 Encoding/Decoding -> Encoders/Decoders 2015-12-05 09:09:31 +03:00