toki/advent-of-code-2024
1
0
Fork 0
Code Issues Pull requests Activity

style: remove unnecessary do block

Browse source
This commit is contained in:
Kiana Sheibani 2024-12-05 06:08:51 -05:00
parent 07b830672b
commit 2ac7b192b7
Signed by: toki
GPG key ID: 6CB106C25E86A9F7
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/Data/Problem.idr
View file

@ -80,9 +80,9 @@ solutionName (Pr day part) =
public export
fetchSolution : Problem -> Elab (String -> String)
fetchSolution pr = do
fetchSolution pr =
let name = solutionName pr
check `(\s => Prelude.show (~(IVar EmptyFC name) s))
in check `(\s => Prelude.show (~(IVar EmptyFC name) s))
<|> fail "\{show name} does not exist as a valid solution"
public export