search

RedPRL / cooltt

😎TT
http://www.redprl.org/
Apache License 2.0
219 stars 16 forks source link

🍴 Introduce fork in MonadState (and remove run_globals_exn) #313

Closed favonia closed 2 years ago

favonia commented 2 years ago

So nothing was using the deleted function?

Correct. The CI passed. :laughing: And we can always do get if necessary.

favonia commented 2 years ago

BTW, technically speaking, fork and modify are not needed because they can be implemented using set and get. However, we all agree modify is useful, and I felt fork makes it trivial to use the state monad as a reader monad.

jonsterling commented 2 years ago

ok cool! That function looked scary anyway so I'm glad you delete it.