Templates
This commit is contained in:
parent
5b1fd043e7
commit
b48bba9061
@ -232,3 +232,12 @@ executable 24
|
||||
, split
|
||||
hs-source-dirs: app
|
||||
default-language: GHC2021
|
||||
executable 25
|
||||
import: warnings
|
||||
main-is: 25.hs
|
||||
-- other-modules:
|
||||
-- other-extensions:
|
||||
build-depends: base ^>=4.18.2.1
|
||||
, split
|
||||
hs-source-dirs: app
|
||||
default-language: GHC2021
|
||||
|
15
app/10.hs
15
app/10.hs
@ -0,0 +1,15 @@
|
||||
{-# LANGUAGE LambdaCase #-}
|
||||
module Main where
|
||||
|
||||
import Data.Functor
|
||||
|
||||
parse = undefined
|
||||
|
||||
solve1 = undefined
|
||||
|
||||
solve2 = undefined
|
||||
|
||||
main :: IO ()
|
||||
main = readFile "inputs/10" <&> parse >>= \i ->
|
||||
print (solve1 i) >>
|
||||
print (solve2 i)
|
15
app/11.hs
15
app/11.hs
@ -0,0 +1,15 @@
|
||||
{-# LANGUAGE LambdaCase #-}
|
||||
module Main where
|
||||
|
||||
import Data.Functor
|
||||
|
||||
parse = undefined
|
||||
|
||||
solve1 = undefined
|
||||
|
||||
solve2 = undefined
|
||||
|
||||
main :: IO ()
|
||||
main = readFile "inputs/11" <&> parse >>= \i ->
|
||||
print (solve1 i) >>
|
||||
print (solve2 i)
|
15
app/12.hs
15
app/12.hs
@ -0,0 +1,15 @@
|
||||
{-# LANGUAGE LambdaCase #-}
|
||||
module Main where
|
||||
|
||||
import Data.Functor
|
||||
|
||||
parse = undefined
|
||||
|
||||
solve1 = undefined
|
||||
|
||||
solve2 = undefined
|
||||
|
||||
main :: IO ()
|
||||
main = readFile "inputs/12" <&> parse >>= \i ->
|
||||
print (solve1 i) >>
|
||||
print (solve2 i)
|
15
app/13.hs
15
app/13.hs
@ -0,0 +1,15 @@
|
||||
{-# LANGUAGE LambdaCase #-}
|
||||
module Main where
|
||||
|
||||
import Data.Functor
|
||||
|
||||
parse = undefined
|
||||
|
||||
solve1 = undefined
|
||||
|
||||
solve2 = undefined
|
||||
|
||||
main :: IO ()
|
||||
main = readFile "inputs/13" <&> parse >>= \i ->
|
||||
print (solve1 i) >>
|
||||
print (solve2 i)
|
15
app/14.hs
15
app/14.hs
@ -0,0 +1,15 @@
|
||||
{-# LANGUAGE LambdaCase #-}
|
||||
module Main where
|
||||
|
||||
import Data.Functor
|
||||
|
||||
parse = undefined
|
||||
|
||||
solve1 = undefined
|
||||
|
||||
solve2 = undefined
|
||||
|
||||
main :: IO ()
|
||||
main = readFile "inputs/14" <&> parse >>= \i ->
|
||||
print (solve1 i) >>
|
||||
print (solve2 i)
|
15
app/15.hs
15
app/15.hs
@ -0,0 +1,15 @@
|
||||
{-# LANGUAGE LambdaCase #-}
|
||||
module Main where
|
||||
|
||||
import Data.Functor
|
||||
|
||||
parse = undefined
|
||||
|
||||
solve1 = undefined
|
||||
|
||||
solve2 = undefined
|
||||
|
||||
main :: IO ()
|
||||
main = readFile "inputs/15" <&> parse >>= \i ->
|
||||
print (solve1 i) >>
|
||||
print (solve2 i)
|
15
app/16.hs
15
app/16.hs
@ -0,0 +1,15 @@
|
||||
{-# LANGUAGE LambdaCase #-}
|
||||
module Main where
|
||||
|
||||
import Data.Functor
|
||||
|
||||
parse = undefined
|
||||
|
||||
solve1 = undefined
|
||||
|
||||
solve2 = undefined
|
||||
|
||||
main :: IO ()
|
||||
main = readFile "inputs/16" <&> parse >>= \i ->
|
||||
print (solve1 i) >>
|
||||
print (solve2 i)
|
15
app/17.hs
15
app/17.hs
@ -0,0 +1,15 @@
|
||||
{-# LANGUAGE LambdaCase #-}
|
||||
module Main where
|
||||
|
||||
import Data.Functor
|
||||
|
||||
parse = undefined
|
||||
|
||||
solve1 = undefined
|
||||
|
||||
solve2 = undefined
|
||||
|
||||
main :: IO ()
|
||||
main = readFile "inputs/17" <&> parse >>= \i ->
|
||||
print (solve1 i) >>
|
||||
print (solve2 i)
|
15
app/18.hs
15
app/18.hs
@ -0,0 +1,15 @@
|
||||
{-# LANGUAGE LambdaCase #-}
|
||||
module Main where
|
||||
|
||||
import Data.Functor
|
||||
|
||||
parse = undefined
|
||||
|
||||
solve1 = undefined
|
||||
|
||||
solve2 = undefined
|
||||
|
||||
main :: IO ()
|
||||
main = readFile "inputs/18" <&> parse >>= \i ->
|
||||
print (solve1 i) >>
|
||||
print (solve2 i)
|
15
app/19.hs
15
app/19.hs
@ -0,0 +1,15 @@
|
||||
{-# LANGUAGE LambdaCase #-}
|
||||
module Main where
|
||||
|
||||
import Data.Functor
|
||||
|
||||
parse = undefined
|
||||
|
||||
solve1 = undefined
|
||||
|
||||
solve2 = undefined
|
||||
|
||||
main :: IO ()
|
||||
main = readFile "inputs/19" <&> parse >>= \i ->
|
||||
print (solve1 i) >>
|
||||
print (solve2 i)
|
15
app/20.hs
15
app/20.hs
@ -0,0 +1,15 @@
|
||||
{-# LANGUAGE LambdaCase #-}
|
||||
module Main where
|
||||
|
||||
import Data.Functor
|
||||
|
||||
parse = undefined
|
||||
|
||||
solve1 = undefined
|
||||
|
||||
solve2 = undefined
|
||||
|
||||
main :: IO ()
|
||||
main = readFile "inputs/20" <&> parse >>= \i ->
|
||||
print (solve1 i) >>
|
||||
print (solve2 i)
|
15
app/21.hs
15
app/21.hs
@ -0,0 +1,15 @@
|
||||
{-# LANGUAGE LambdaCase #-}
|
||||
module Main where
|
||||
|
||||
import Data.Functor
|
||||
|
||||
parse = undefined
|
||||
|
||||
solve1 = undefined
|
||||
|
||||
solve2 = undefined
|
||||
|
||||
main :: IO ()
|
||||
main = readFile "inputs/21" <&> parse >>= \i ->
|
||||
print (solve1 i) >>
|
||||
print (solve2 i)
|
15
app/22.hs
15
app/22.hs
@ -0,0 +1,15 @@
|
||||
{-# LANGUAGE LambdaCase #-}
|
||||
module Main where
|
||||
|
||||
import Data.Functor
|
||||
|
||||
parse = undefined
|
||||
|
||||
solve1 = undefined
|
||||
|
||||
solve2 = undefined
|
||||
|
||||
main :: IO ()
|
||||
main = readFile "inputs/22" <&> parse >>= \i ->
|
||||
print (solve1 i) >>
|
||||
print (solve2 i)
|
15
app/23.hs
15
app/23.hs
@ -0,0 +1,15 @@
|
||||
{-# LANGUAGE LambdaCase #-}
|
||||
module Main where
|
||||
|
||||
import Data.Functor
|
||||
|
||||
parse = undefined
|
||||
|
||||
solve1 = undefined
|
||||
|
||||
solve2 = undefined
|
||||
|
||||
main :: IO ()
|
||||
main = readFile "inputs/23" <&> parse >>= \i ->
|
||||
print (solve1 i) >>
|
||||
print (solve2 i)
|
15
app/24.hs
15
app/24.hs
@ -0,0 +1,15 @@
|
||||
{-# LANGUAGE LambdaCase #-}
|
||||
module Main where
|
||||
|
||||
import Data.Functor
|
||||
|
||||
parse = undefined
|
||||
|
||||
solve1 = undefined
|
||||
|
||||
solve2 = undefined
|
||||
|
||||
main :: IO ()
|
||||
main = readFile "inputs/24" <&> parse >>= \i ->
|
||||
print (solve1 i) >>
|
||||
print (solve2 i)
|
15
app/25.hs
Normal file
15
app/25.hs
Normal file
@ -0,0 +1,15 @@
|
||||
{-# LANGUAGE LambdaCase #-}
|
||||
module Main where
|
||||
|
||||
import Data.Functor
|
||||
|
||||
parse = undefined
|
||||
|
||||
solve1 = undefined
|
||||
|
||||
solve2 = undefined
|
||||
|
||||
main :: IO ()
|
||||
main = readFile "inputs/25" <&> parse >>= \i ->
|
||||
print (solve1 i) >>
|
||||
print (solve2 i)
|
15
app/3.hs
15
app/3.hs
@ -0,0 +1,15 @@
|
||||
{-# LANGUAGE LambdaCase #-}
|
||||
module Main where
|
||||
|
||||
import Data.Functor
|
||||
|
||||
parse = undefined
|
||||
|
||||
solve1 = undefined
|
||||
|
||||
solve2 = undefined
|
||||
|
||||
main :: IO ()
|
||||
main = readFile "inputs/3" <&> parse >>= \i ->
|
||||
print (solve1 i) >>
|
||||
print (solve2 i)
|
15
app/4.hs
15
app/4.hs
@ -0,0 +1,15 @@
|
||||
{-# LANGUAGE LambdaCase #-}
|
||||
module Main where
|
||||
|
||||
import Data.Functor
|
||||
|
||||
parse = undefined
|
||||
|
||||
solve1 = undefined
|
||||
|
||||
solve2 = undefined
|
||||
|
||||
main :: IO ()
|
||||
main = readFile "inputs/4" <&> parse >>= \i ->
|
||||
print (solve1 i) >>
|
||||
print (solve2 i)
|
15
app/5.hs
15
app/5.hs
@ -0,0 +1,15 @@
|
||||
{-# LANGUAGE LambdaCase #-}
|
||||
module Main where
|
||||
|
||||
import Data.Functor
|
||||
|
||||
parse = undefined
|
||||
|
||||
solve1 = undefined
|
||||
|
||||
solve2 = undefined
|
||||
|
||||
main :: IO ()
|
||||
main = readFile "inputs/5" <&> parse >>= \i ->
|
||||
print (solve1 i) >>
|
||||
print (solve2 i)
|
15
app/6.hs
15
app/6.hs
@ -0,0 +1,15 @@
|
||||
{-# LANGUAGE LambdaCase #-}
|
||||
module Main where
|
||||
|
||||
import Data.Functor
|
||||
|
||||
parse = undefined
|
||||
|
||||
solve1 = undefined
|
||||
|
||||
solve2 = undefined
|
||||
|
||||
main :: IO ()
|
||||
main = readFile "inputs/6" <&> parse >>= \i ->
|
||||
print (solve1 i) >>
|
||||
print (solve2 i)
|
15
app/7.hs
15
app/7.hs
@ -0,0 +1,15 @@
|
||||
{-# LANGUAGE LambdaCase #-}
|
||||
module Main where
|
||||
|
||||
import Data.Functor
|
||||
|
||||
parse = undefined
|
||||
|
||||
solve1 = undefined
|
||||
|
||||
solve2 = undefined
|
||||
|
||||
main :: IO ()
|
||||
main = readFile "inputs/7" <&> parse >>= \i ->
|
||||
print (solve1 i) >>
|
||||
print (solve2 i)
|
15
app/8.hs
15
app/8.hs
@ -0,0 +1,15 @@
|
||||
{-# LANGUAGE LambdaCase #-}
|
||||
module Main where
|
||||
|
||||
import Data.Functor
|
||||
|
||||
parse = undefined
|
||||
|
||||
solve1 = undefined
|
||||
|
||||
solve2 = undefined
|
||||
|
||||
main :: IO ()
|
||||
main = readFile "inputs/8" <&> parse >>= \i ->
|
||||
print (solve1 i) >>
|
||||
print (solve2 i)
|
Loading…
Reference in New Issue
Block a user