issues
search
DeepSpec
/
InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
MIT License
199
stars
50
forks
source link
Clean up
#148
Closed
Lysxia
closed
4 years ago
Lysxia
commented
4 years ago
[x] Renamed monad laws (
bind_ret_l
,
bind_ret_r
)
[x] Add properness into monad laws
[x] Put StateKleisli under Basics
bind_ret_l
,bind_ret_r
)