/test-package/deep/nested/folder/my-even.dhall
Copy path to clipboardCheck if a natural is even or not returning an union data-type
Examples
my-even 1 ≡ < even | odd >.odd
my-even 2 ≡ < even | odd >.even
Source
let my-even
: Natural → < even | odd >
= λ(n : Natural) →
if Natural/even n then < even | odd >.even else < even | odd >.odd
let example0 = assert : my-even 1 ≡ < even | odd >.odd
let example0 = assert : my-even 2 ≡ < even | odd >.even
in my-even