Sarah Vaupel
|
1d3f484337
|
remove unneeded imports
|
2025-07-14 12:20:17 +02:00 |
|
Sarah Vaupel
|
1b2a8bdce6
|
use Data.Kind.Type instead of *
|
2025-07-14 12:19:56 +02:00 |
|
Sarah Vaupel
|
1752d03fe7
|
fix ambiguous occurrences
|
2025-07-14 12:19:10 +02:00 |
|
Sarah Vaupel
|
509158793d
|
add missing language extensions
|
2025-07-13 23:22:38 +02:00 |
|
Sarah Vaupel
|
2de682f1cf
|
add missing dependency
|
2025-07-13 22:57:57 +02:00 |
|
Sarah Vaupel
|
c0f9140a73
|
remove unsupported pattern
|
2025-07-13 22:57:46 +02:00 |
|
Sarah Vaupel
|
f544a30483
|
add missing dependencies
|
2025-07-13 22:57:35 +02:00 |
|
Sarah Vaupel
|
8be9e6678c
|
add modules from former cryptoids-class and cryptoids-types
|
2025-07-13 22:43:13 +02:00 |
|
Sarah Vaupel
|
afc1a96d5c
|
initial commit (adapt from hackage)
|
2025-07-13 21:45:03 +02:00 |
|
|
|
4cb02698ae
|
Initial commit
|
2025-07-13 19:30:08 +02:00 |
|
