BorisNikulin

This sort of fixes it? I applied the patch manually and observed the plugin working more than before but not as I thought it would work with in place editing,...

Same error with nearly all commands save \t which puts the cursor on the `:` character of the type decl (claim?). Just installed idris2 from AUR and this plugin via...

Match does have a composite key https://gitlab.com/golden-goblet/backend/-/blob/paginated-events-with-game-names/src/Data/Entities.hs#L41: ``` Match eventId EventId match Int32 Primary eventId match name Text Maybe deriving Show Generic ```