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.100 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.99 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.98 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.97 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.96 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.95 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.94 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.93 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.92 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.91 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.90 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.89 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.88 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.87 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.86 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.85 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.84 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.83 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.82 tracks/idris/exercises/leap/src/Leap.idr
trackler-2.2.1.81 tracks/idris/exercises/leap/src/Leap.idr