ssm-lang / Scoria

This is an embedding of the Sparse Synchronous Model, in Haskell!
BSD 3-Clause "New" or "Revised" License
4 stars 0 forks source link

Remove main arguments from EDSL #75

Closed Rewbert closed 2 years ago

Rewbert commented 2 years ago

I merged my PRs in the wrong order and messed up lol, this PR should fix it