Contents

module Leap

export 
isLeap : Int -> Bool
isLeap year =
  (divBy 4 && not (divBy 100)) || divBy 400
  where divBy : Int -> Bool
        divBy n = (year `mod` n) == 0

Version data entries

217 entries across 217 versions & 1 rubygems

Version	Path
trackler-2.2.1.100	tracks/idris/exercises/leap/src/example.idr
trackler-2.2.1.99	tracks/idris/exercises/leap/src/example.idr
trackler-2.2.1.98	tracks/idris/exercises/leap/src/example.idr
trackler-2.2.1.97	tracks/idris/exercises/leap/src/example.idr
trackler-2.2.1.96	tracks/idris/exercises/leap/src/example.idr
trackler-2.2.1.95	tracks/idris/exercises/leap/src/example.idr
trackler-2.2.1.94	tracks/idris/exercises/leap/src/example.idr
trackler-2.2.1.93	tracks/idris/exercises/leap/src/example.idr
trackler-2.2.1.92	tracks/idris/exercises/leap/src/example.idr
trackler-2.2.1.91	tracks/idris/exercises/leap/src/example.idr
trackler-2.2.1.90	tracks/idris/exercises/leap/src/example.idr
trackler-2.2.1.89	tracks/idris/exercises/leap/src/example.idr
trackler-2.2.1.88	tracks/idris/exercises/leap/src/example.idr
trackler-2.2.1.87	tracks/idris/exercises/leap/src/example.idr
trackler-2.2.1.86	tracks/idris/exercises/leap/src/example.idr
trackler-2.2.1.85	tracks/idris/exercises/leap/src/example.idr
trackler-2.2.1.84	tracks/idris/exercises/leap/src/example.idr
trackler-2.2.1.83	tracks/idris/exercises/leap/src/example.idr
trackler-2.2.1.82	tracks/idris/exercises/leap/src/example.idr
trackler-2.2.1.81	tracks/idris/exercises/leap/src/example.idr