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.40 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.39 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.38 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.37 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.36 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.35 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.34 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.33 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.32 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.31 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.30 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.29 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.28 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.27 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.26 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.25 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.24 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.23 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.22 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.21 tracks/idris/exercises/leap/src/Leap.idr