Remy Willems

icon indicating a website link https://keyboarddrummer.github.io/ icon indicating an email [email protected]

icon company @amzn icon location Utrecht, Netherlands icon location I mainly work on Dafny and on Miksilo, a tool to construct programming languages in a modular way.

Results 111 issues of Remy Willems

Allow passing functions to `forall` and `exists`

### Summary Allow passing unapplied functions to `forall` and `exists`, to reduce the learning curve for using `forall` and `exists` expressions. ### Background and Motivation The syntax for forall and...

kind: enhancement
part: language definition