NoRedInk / haskell-verify-examples

WIP
BSD 3-Clause "New" or "Revised" License
0 stars 0 forks source link

allow helper functions in examples #8

Closed stoeffel closed 3 years ago

stoeffel commented 3 years ago
-- > test + test ==> 2
test = 1

not supported yet:

-- > foo = 1
-- > test + foo ==> 2
test = 1

current workaround

-- > let foo = 1 in
-- > test + foo ==> 2
test = 1