Skip to content

Remove Dijkstra Monads for Free from F* 2#4154

Merged
nikswamy merged 4 commits intofstar2from
_fstar2_no_dm4free
Apr 1, 2026
Merged

Remove Dijkstra Monads for Free from F* 2#4154
nikswamy merged 4 commits intofstar2from
_fstar2_no_dm4free

Commits

Commits on Apr 1, 2026