Note on subscribing to rss

advent.ipkg

@@ -28,6 +28,7 @@ modules = Runner
         , Util
         , Util.Eff
         , Util.Digits
+        , Grid
 
 -- main file (i.e. file to load at REPL)
 main = Main

src/Years/Y2015/Day11.md

@@ -183,8 +183,8 @@ containsPairs xs = length (nub $ pairs (reverse xs) []) >= 2
 Combine our password criteria into one function
 
 ```idris
-passwordCriteria : Vect n PasswordChar -> Bool
+part1Critera : Vect n PasswordChar -> Bool
-passwordCriteria xs = incrimentingChars xs && noInvalidChars xs && containsPairs xs
+part1Critera xs = incrimentingChars xs && noInvalidChars xs && containsPairs xs
 ```
 
 ### Find the next password
@@ -207,30 +207,19 @@ findNextPassword f password =
 ### Part 1
 
 ```idris
-part1 : Eff (PartEff String) (String, Password)
+part1 : Eff (PartEff String) (String, ())
 part1 = do
   input <- map trim $ askAt "input"
   password <- parsePassword input
   info "Starting password: \{show password} -> \{passwordToString password}"
-  let next_password = findNextPassword passwordCriteria password
+  let next_password = findNextPassword part1Critera password
-  pure (passwordToString next_password, next_password)
+  pure (passwordToString next_password, ())
-```
-
-### Part 2
-
-```idris
-part2 : Password -> Eff (PartEff String) String
-part2 password = do
-  info 
-    "Second starting password: \{show password} -> \{passwordToString password}"
-  let next_password = findNextPassword passwordCriteria password
-  pure $ passwordToString next_password
 ```
 
 <!-- idris
 public export
 day11 : Day
-day11 = Both 11 part1 part2
+day11 = First 11 part1
 -->
 
 ## References