search

tcr / corollary

Cross-compiler from Haskell to Rust, plus parser-haskell.
73 stars 5 forks source link

Fill out all symbolic ops: #44

Closed tcr closed 7 years ago

tcr commented 7 years ago

For example, this is translated poorly without "||" being translated:

let duplicateLHS = isJust op' || demand