Make monadic more efficient

GillianPlatform / Gillian

The Gillian Platform main repository

https://GillianPlatform.github.io

BSD 3-Clause "New" or "Revised" License

77 stars 12 forks source link

Open giltho opened 1 year ago

giltho commented 1 year ago

I've asked Nick, apparently it could be made much more efficient, see Fusion for free