search

JetBrains / Arend

The Arend Proof Assistant
https://arend-lang.github.io/
Apache License 2.0
690 stars 32 forks source link

ST monad #250

Open valis opened 4 years ago

valis commented 4 years ago

We can implement an analogue of ST monad. It will be built-in in core and will allow more efficient implementation of various algorithms. They can be verified through the usual state semantics.

ice1000 commented 4 years ago

Maybe it's time to modularize Prelude?

valis commented 4 years ago

Maybe