fast-combinatorics-0.1.0.6: ats-src/number-theory.dats

#define ATS_MAINATSFLAG 1

#include "share/atspre_staload.hats"

staload "libats/libc/SATS/math.sats"

fun is_even(n : int) : bool =
  n % 2 = 0

fun is_odd(n : int) : bool =
  n % 2 = 1