• Joined on 2025-09-21
elland pushed to runner at elland/haddock2 2025-09-26 21:21:24 +00:00
d012a8e396 Renamed file
elland pushed to runner at elland/haddock2 2025-09-26 20:50:59 +00:00
0f03f9eb7a New rules
elland pushed to runner at elland/haddock2 2025-09-26 20:49:53 +00:00
20c78cf015 Updated ci.yml
elland created pull request elland/haddock2#5 2025-09-26 20:47:54 +00:00
Add CI runner
elland created branch runner in elland/haddock2 2025-09-26 20:47:34 +00:00
elland pushed to runner at elland/haddock2 2025-09-26 20:47:34 +00:00
f1cb583d0f Runner base config
elland created pull request elland/haddock2#4 2025-09-26 20:33:49 +00:00
Applied more formatting; added Makefile
elland created branch formatting in elland/haddock2 2025-09-26 20:33:27 +00:00
elland pushed to formatting at elland/haddock2 2025-09-26 20:33:27 +00:00
4e49406286 Added cabal-gild to format cmd
1b59bb9c25 Formatting
72909cb84b Added Makefile
Compare 3 commits »
elland commented on pull request elland/haddock2#3 2025-09-26 15:07:32 +00:00
Format with fourmolu

❤️

elland commented on pull request elland/haddock2#2 2025-09-24 16:03:34 +00:00
refactor lexer

I wouldn’t keep it bc we for some representations we don’t need it and we can recreate for the ones we do.

elland commented on pull request elland/haddock2#2 2025-09-24 13:14:49 +00:00
refactor lexer

Now here I am a bit unsure about what we want. Should the position match the inner value or the delimiters?

elland commented on pull request elland/haddock2#2 2025-09-24 13:14:49 +00:00
refactor lexer

🫡

elland commented on pull request elland/haddock2#2 2025-09-24 13:14:49 +00:00
refactor lexer

nice! do you want to do the same nice naming as delimitedAsTouple with open/close instead of a b?

elland commented on pull request elland/haddock2#2 2025-09-24 13:14:49 +00:00
refactor lexer

❤️

elland approved elland/haddock2#2 2025-09-24 13:14:49 +00:00
refactor lexer

Thank you so much!

elland pushed to dev at elland/haddock2 2025-09-24 11:01:54 +00:00
39cfe2035d test: freeze the callstack for better failure messages (#1)
elland merged pull request elland/haddock2#1 2025-09-24 11:01:53 +00:00
test: freeze the callstack for better failure messages
elland pushed to dev at elland/haddock2 2025-09-24 08:41:21 +00:00
00a6e11f67 Tokenise helper
elland created branch dev in elland/haddock2 2025-09-24 08:14:15 +00:00