 Niels G. W. Serup
|
f348bd1e82
|
Change Value type to just be Dynamic
Restructure into more modules.
|
2024-10-10 23:53:54 +02:00 |
|
Niels G. W. Serup
|
41fc74eb98
|
Get rid of unneeded Eq instance
|
2024-10-09 23:21:07 +02:00 |
|
Niels G. W. Serup
|
5af98f6c9a
|
Use Typeable instead of homegrown WitnessFor for ElemOf
|
2024-10-09 23:19:32 +02:00 |
|
Niels G. W. Serup
|
418ebcb60f
|
Don't lift types
Not needed since we only care about the final IO () result.
|
2024-10-09 23:12:01 +02:00 |
|
Niels G. W. Serup
|
6c6dd510d9
|
Put witness class somewhere more central and add all instances
|
2024-10-06 16:37:10 +02:00 |
|
Niels G. W. Serup
|
206124c1ca
|
Expose general behavior as elemOf
|
2024-10-06 16:28:22 +02:00 |
|
Niels G. W. Serup
|
43f2cef419
|
Generalize elemOfString into elemOf'
|
2024-10-06 16:23:57 +02:00 |
|
Niels G. W. Serup
|
08fc0f30e4
|
Get rid of the dummy values
|
2024-10-06 16:17:09 +02:00 |
|
Niels G. W. Serup
|
424a688d15
|
Play with witnesses, kind of
|
2024-10-06 16:11:54 +02:00 |
|
Niels G. W. Serup
|
347cc07c93
|
Begin generalizing elemOf
|
2024-10-06 16:04:22 +02:00 |
|
Niels G. W. Serup
|
3e0e9a128e
|
Also make Function plug and play
|
2024-10-06 15:53:40 +02:00 |
|
Niels G. W. Serup
|
ff4023bca4
|
Remove unused appends
|
2024-10-06 15:23:09 +02:00 |
|
Niels G. W. Serup
|
f8e80ae2bc
|
Define shortcut runners the same place as the instances
|
2024-10-06 15:12:31 +02:00 |
|
Niels G. W. Serup
|
1fce00e531
|
Refine unit requirement
|
2024-10-06 13:44:19 +02:00 |
|
Niels G. W. Serup
|
381ecd5f03
|
Have instance declarations be independent of Value
|
2024-10-06 13:25:09 +02:00 |
|
Niels G. W. Serup
|
21d5366fea
|
Put more types into IsFunctionIO
|
2024-10-06 13:19:06 +02:00 |
|
Niels G. W. Serup
|
b84e45ed8f
|
Implement Valuable for all Value constructors
|
2024-10-06 13:11:36 +02:00 |
|
Niels G. W. Serup
|
fa06f0685a
|
Allow easier FunctionIO plug and play
|
2024-10-06 13:06:34 +02:00 |
|
Niels G. W. Serup
|
a6ef299691
|
Pull instead of push
|
2024-10-06 00:40:54 +02:00 |
|
Niels G. W. Serup
|
ed37ba9a09
|
Check whether something touches the filesystem
|
2024-10-06 00:23:19 +02:00 |
|
Niels G. W. Serup
|
9170a7f044
|
Move pandoc execution out of IO
|
2024-10-06 00:03:11 +02:00 |
|
Niels G. W. Serup
|
eb7848064a
|
Format wrapped strings more intuitively
|
2024-10-05 23:47:10 +02:00 |
|
Niels G. W. Serup
|
152f988363
|
Force early evaluation
|
2024-10-05 23:42:40 +02:00 |
|
Niels G. W. Serup
|
9c912d2457
|
Split ConvertImage into three steps
|
2024-10-05 23:37:54 +02:00 |
|
Niels G. W. Serup
|
94c2fbfbc9
|
Refactor to be more nested
|
2024-10-05 22:51:13 +02:00 |
|
Niels G. W. Serup
|
9311d51464
|
Provide better filter ergonomics for the common case
|
2024-10-05 21:57:04 +02:00 |
|
Niels G. W. Serup
|
90a968ea7d
|
Go a more direct route with the recipes dirs
|
2024-10-05 20:35:34 +02:00 |
|
Niels G. W. Serup
|
9240d66c15
|
Only use concat
|
2024-10-05 20:28:25 +02:00 |
|
Niels G. W. Serup
|
d96af50943
|
Introduce ListToken and start using it for concat instead of append
|
2024-10-05 20:21:06 +02:00 |
|
Niels G. W. Serup
|
c06bd28d9a
|
Fix accidental argument swap
|
2024-10-05 20:20:16 +02:00 |
|
Niels G. W. Serup
|
7504c083a1
|
Refactor TupleToken building
|
2024-10-05 19:56:53 +02:00 |
|
Niels G. W. Serup
|
938cc99db0
|
Adjust spacing
|
2024-10-05 19:46:29 +02:00 |
|
Niels G. W. Serup
|
a019cee656
|
Use fewer tuples internally
|
2024-10-05 19:44:28 +02:00 |
|
Niels G. W. Serup
|
ae3ae4c5b0
|
Consistently use less margin
|
2024-10-05 19:37:59 +02:00 |
|
Niels G. W. Serup
|
5012aaae0c
|
Use the cursive font for headers
|
2024-10-05 19:36:30 +02:00 |
|
Niels G. W. Serup
|
ee363bf8ee
|
Only have padding in the sides
|
2024-10-05 19:36:17 +02:00 |
|
Niels G. W. Serup
|
a8c7c2ccde
|
Make header smaller
|
2024-10-05 19:30:55 +02:00 |
|
Niels G. W. Serup
|
ff3bd8216b
|
Let navigation take up less space
|
2024-10-05 19:30:42 +02:00 |
|
Niels G. W. Serup
|
42647af9eb
|
Don't break in the header
|
2024-10-05 19:19:04 +02:00 |
|
Niels G. W. Serup
|
c1ce2185a5
|
Put images before recipe
|
2024-10-05 19:15:20 +02:00 |
|
Niels G. W. Serup
|
7825f62fa2
|
Run pandoc on text instead of file
|
2024-10-05 18:16:34 +02:00 |
|
Niels G. W. Serup
|
47420cbe41
|
Split template loading into multiple steps
|
2024-10-05 18:07:26 +02:00 |
|
Niels G. W. Serup
|
1988beb49a
|
Generalize ReadTemplate
|
2024-10-05 17:59:52 +02:00 |
|
Niels G. W. Serup
|
7801371534
|
Default to 3 decimals
|
2024-10-05 17:41:13 +02:00 |
|
Niels G. W. Serup
|
84b189f722
|
Update gitignores
|
2024-10-05 17:39:42 +02:00 |
|
Niels G. W. Serup
|
166c176727
|
Start adding the files used by the website builder
|
2024-10-05 17:38:52 +02:00 |
|
Niels G. W. Serup
|
8c2f522bbf
|
Also copy fonts
Do some ugly shenanigans to make this work.
|
2024-10-05 17:35:47 +02:00 |
|
Niels G. W. Serup
|
47d086c115
|
Also copy image files over
|
2024-10-05 15:58:55 +02:00 |
|
Niels G. W. Serup
|
7e23b55513
|
Precompute more
|
2024-10-05 15:35:52 +02:00 |
|
Niels G. W. Serup
|
556ded64a8
|
Also copy stylesheet
|
2024-09-30 23:40:53 +02:00 |