 Niels G. W. Serup
|
06067a6cfc
|
Add filterComputationM
|
2024-09-21 22:40:17 +02:00 |
|
Niels G. W. Serup
|
fce1d88025
|
Refactor and add note
|
2024-09-21 22:13:46 +02:00 |
|
Niels G. W. Serup
|
305623d53f
|
Refactor
|
2024-09-21 20:08:54 +02:00 |
|
Niels G. W. Serup
|
1a1db6944f
|
Split functions further into groups of functions
|
2024-09-21 20:07:38 +02:00 |
|
Niels G. W. Serup
|
1f3c2929fd
|
Split functions into two modules
|
2024-09-21 20:05:08 +02:00 |
|
Niels G. W. Serup
|
28d430cf72
|
Put function shortcuts back in Functions module
|
2024-09-21 20:00:59 +02:00 |
|
Niels G. W. Serup
|
e3868332be
|
Move more base stuff into Types module
|
2024-09-21 19:53:32 +02:00 |
|
Niels G. W. Serup
|
de6495d750
|
Refactor tell use slighly
|
2024-09-21 19:51:11 +02:00 |
|
Niels G. W. Serup
|
4884136dad
|
Connect SetListElem to outer output list
|
2024-09-21 19:47:50 +02:00 |
|
Niels G. W. Serup
|
8c7e311338
|
Connect GetListElem to outer input list
|
2024-09-21 19:32:32 +02:00 |
|
Niels G. W. Serup
|
8184160035
|
Don't duplicate token ids in lists
|
2024-09-21 19:25:36 +02:00 |
|
Niels G. W. Serup
|
c588dc1f56
|
User better namings
|
2024-09-21 19:17:09 +02:00 |
|
Niels G. W. Serup
|
d0c2b47df0
|
Use InList properly
|
2024-09-21 19:09:43 +02:00 |
|
Niels G. W. Serup
|
af2b9202ef
|
Get rid of the final traversable cruft
|
2024-09-21 18:49:50 +02:00 |
|
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 |