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

fix: import necessary modules in Main

Browse source
This commit is contained in:
Kiana Sheibani 2024-12-03 04:05:50 -05:00
parent 1a0e4a5a04
commit fad1b50858
Signed by: toki
GPG key ID: 6CB106C25E86A9F7
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/Main.idr
View file

@ -1,10 +1,12 @@
module Main
import Data.List1
import Data.Maybe
import Data.String
import Data.SortedMap
import Data.SortedMap.Dependent
import Data.Problem
import Utils
import Language.Reflection