object

with open("./data/input02.txt") as inputFile:
    input = inputFile.read().splitlines()

reports = []
for line in input:
    report = list(map(lambda x: int(x), line.split(' ')))
    reports.append(report)

def report_is_safe(report):
    safe = True

object

import re

with open("./data/input01.txt") as inputFile:
    input = inputFile.read().splitlines()

left = []
right = []
for line in input:
    m = re.findall(r'(\d+)', line)
    left.append(int(m[0]))

object

module App

open Elmish
open Elmish.React
open Elmish.Bridge

#if DEBUG
open Elmish.Debug
#endif

object

module View

open Feliz
open Feliz.Bulma

open System
open Shared
open Model
open Messages

object

module Update

open System
open Elmish
open Elmish.Bridge

open Shared
open Model
open Messages

object

module Model

open System
open Shared

[<RequireQualifiedAccess>]
type EventSet =
  | Small
  | Large

object

module App

open Elmish
open Elmish.React
open Elmish.Bridge

open Update
open View

Program.mkProgram init update view

object

module View

open Feliz
open Feliz.Bulma

open Shared
open Model
open Messages

let [<Literal>] TimeFormatString = "HH:mm:ss"

object

module Update

open System
open Elmish
open Elmish.Bridge

open Shared
open Model
open Messages

object

module Model

open Shared

[<RequireQualifiedAccess>]
type EventSet =
  | Small
  | Large

type Model =