|
|
02b17c61d4
|
Add a test file working on numbers.
|
2024-03-14 01:10:18 +01:00 |
|
|
|
2086cb1d9b
|
Dropped code for DKIM.
|
2024-03-12 03:19:20 +01:00 |
|
|
|
1b1c7e80c7
|
Add old code, for reference.
|
2024-02-20 17:52:26 +01:00 |
|
|
|
3e0d4ecfe6
|
Remove original Interface.
|
2024-02-17 19:19:18 +01:00 |
|
|
|
e63bfdca3c
|
DROP: add some examples of Regex uses, that will be removed from production code.
|
2024-02-06 04:20:40 +01:00 |
|
|
|
4813d5dd60
|
Remove RR.purs (now useless).
|
2024-02-06 04:20:21 +01:00 |
|
|
|
68a06928ca
|
WIP: code clean-up. loopE to loop over Halogen evenful functions.
|
2024-01-22 21:22:30 +01:00 |
|
|
|
f579353d11
|
Start using GenericParser.
|
2024-01-20 05:00:03 +01:00 |
|
|
|
1101ab70bd
|
PlayingWithParsers == HomeInterface
|
2023-07-23 22:43:37 +02:00 |
|
|
|
f81449c100
|
Last commit before BOOM.
|
2023-07-23 15:36:12 +02:00 |
|
|
|
3314add2fb
|
Domain parsing is now almost complete.
|
2023-07-23 14:06:09 +02:00 |
|
|
|
f60b1a7568
|
Playing with parsers: reading domain labels is okay-ish.
|
2023-07-23 03:29:26 +02:00 |
|
|
|
a297cddb0e
|
Playing with parsers!
|
2023-07-22 15:48:00 +02:00 |
|
|
|
37de517c60
|
Playing with parsers some more.
|
2023-07-22 14:58:52 +02:00 |
|
|
|
b14d63459b
|
PlayingWithParsers
|
2023-07-22 12:38:56 +02:00 |
|
|
|
ae0de9d734
|
Add a simple input module as an example.
|
2023-07-21 19:53:48 +02:00 |
|
|
|
2c439667cf
|
Move AlternativeMain (will probably be ignored forever).
|
2023-07-14 01:16:24 +02:00 |
|
|
|
a6e6e84cb7
|
Commit some unused code.
|
2023-07-11 05:46:21 +02:00 |
|
|
|
ef623b8f1c
|
Add an example of Websockets with ArrayBuffer.
|
2023-05-20 13:50:11 +02:00 |
|
|
|
4aa473f1f0
|
Add shared example on discord.
|
2023-05-20 00:49:12 +02:00 |
|
