Skip to content

Uniform effects

Jump to bottom Edit New page
Kenji Maillard edited this page Dec 17, 2018 · 24 revisions

F* currently possess 2 slightly different effect declaration mechanism : primitive effects and DMForFree effects. This proposal try to unify and generalize the 2 presentations.

Add a custom footer
Add a custom sidebar
Clone this wiki locally