First attempt at the bowling kata in idris

firstattempt.idr

%default total

||| First pins down range is limited from 0 to 9 or a `Strike`
data FirstThrow = FirstPinsDown (Fin 10) | Strike

-- ||| Second pins down range should be limited by FirstThrowPinsdown count - 9 or a `Spare`
-- ||| This currently isn't; up next: figuring out how to do this; ignore the Spare for now!
-- data SecondThrow = Second FirstThrowPinsDown | Spare

data SecondThrow = SecondPinsDown (Fin 10) | Spare

-- data Frame = OneFrame Strike | TwoFrame SecondThrow


works = FirstPinsDown 10
let works' = Strike
--let fails = FirstPinsDown 11