Sha256: 7606c3a81c836faaf727022093934219d30de229b1f12ccfdf05b21194af4f3c

Contents?: true

Size: 70 Bytes

Versions: 217

Compression:

Stored size: 70 Bytes

Contents

module Leap

export 
isLeap : Int -> Bool
isLeap year = ?is_leap_year

Version data entries

217 entries across 217 versions & 1 rubygems

Version Path
trackler-2.2.1.60 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.59 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.58 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.57 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.56 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.55 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.54 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.53 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.52 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.51 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.50 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.49 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.48 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.47 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.46 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.45 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.44 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.43 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.42 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.41 tracks/idris/exercises/leap/src/Leap.idr