Arthur Correnson

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

icon company CISPA Helmholtz Center for Information Security icon location Saarbrücken icon location PhD candidate at CISPA. Working on formally verified formal methods.

Results 1 comments of Arthur Correnson

Add `match` expressions

Hello 👋 Just a short comment to let you know that there is ongoing work on match statements [here](https://github.com/jdrprod/passerine/tree/match) ;) It's going to take a lot of time, but I...