fast-combinatorics-0.1.0.7: ats-src/number-theory.dats
#define ATS_MAINATSFLAG 1 #include "share/atspre_staload.hats" staload "libats/libc/SATS/math.sats" fn is_even(n : int) :<> bool = n % 2 = 0 fn is_odd(n : int) :<> bool = n % 2 = 1
#define ATS_MAINATSFLAG 1 #include "share/atspre_staload.hats" staload "libats/libc/SATS/math.sats" fn is_even(n : int) :<> bool = n % 2 = 0 fn is_odd(n : int) :<> bool = n % 2 = 1