Niels G. W. Serup
|
9410a39527
|
Remove more traversable leftovers
|
2024-09-21 18:46:17 +02:00 |
Niels G. W. Serup
|
f12ac12ea8
|
Remove mapM usage in monad
Was really a hack.
|
2024-09-21 18:45:39 +02:00 |
Niels G. W. Serup
|
b4f36f9370
|
Also migrate Function
|
2024-09-21 18:06:00 +02:00 |
Niels G. W. Serup
|
af50f16243
|
Migrate all FunctionIO
|
2024-09-21 18:02:20 +02:00 |
Niels G. W. Serup
|
b1c124d899
|
Remove non-unneeded import
|
2024-09-21 17:42:03 +02:00 |
Niels G. W. Serup
|
5fc78b14ad
|
Add nice wrappers
|
2024-09-21 17:41:13 +02:00 |
Niels G. W. Serup
|
bb52c043cd
|
Remove duplicated old way of doing this
|
2024-09-21 17:39:50 +02:00 |
Niels G. W. Serup
|
6a2a87cfc3
|
Start using class instances instead of GADT constructors
Maybe makes more sense here?
|
2024-09-21 17:37:37 +02:00 |
Niels G. W. Serup
|
124d9fa4d8
|
This belongs here
|
2024-09-21 17:34:28 +02:00 |
Niels G. W. Serup
|
8575bd061a
|
Remove warnings
|
2024-09-21 17:33:02 +02:00 |
Niels G. W. Serup
|
987a7809bb
|
Split into library and executable
|
2024-09-21 17:31:57 +02:00 |
Niels G. W. Serup
|
111fe3cee5
|
Make compile
|
2024-09-21 17:13:20 +02:00 |
Niels G. W. Serup
|
2549d5af1b
|
Put sources functionality in its own file
|
2024-09-21 16:57:03 +02:00 |
Niels G. W. Serup
|
4e412e4366
|
Add bytestring dependency
|
2024-09-21 16:54:37 +02:00 |
Niels G. W. Serup
|
e0caddd119
|
Move functions to own file
|
2024-09-21 16:50:57 +02:00 |
Niels G. W. Serup
|
6962c5cb17
|
Remove piping attempt
|
2024-09-21 16:38:37 +02:00 |
Niels G. W. Serup
|
20eaec927e
|
Add initial code approach exploration
For the historical record.
|
2024-09-21 16:35:13 +02:00 |
Niels G. W. Serup
|
2f14c5a653
|
Let's use mtl
|
2024-09-15 20:35:48 +02:00 |
Niels G. W. Serup
|
a0e6aa2b23
|
Rename section to clarify it's not just about warnings
|
2024-09-15 20:35:15 +02:00 |
Niels G. W. Serup
|
864c515469
|
Use more flags when building with default.nix
|
2024-09-15 20:23:10 +02:00 |
Niels G. W. Serup
|
1fe7714c6b
|
Add a default.nix for nix-build
|
2024-09-12 19:49:58 +02:00 |
Niels G. W. Serup
|
2628822373
|
Add initial generator
|
2024-09-11 22:32:14 +02:00 |