Copilot-Language/copilot-discussion

Fix counter example

Closed this issue · 1 comments

fdedden commented

The counter example (fig 2, section 3.1) does not work. Haskell's if-else should be replaced by Copilot's mux or ifThenElse

fdedden commented

Just use RebindableSyntax, my mistake