coq-reduction-effects Versions (6)

Version Release Date Links
0.1.5 28 Sep 2023 Documentation
0.1.4 10 Aug 2022 Documentation
0.1.3 04 Oct 2021 Documentation
0.1.2 28 Jan 2020 Documentation
0.1.1 18 Nov 2019 Documentation
0.1.0 17 Apr 2019 Documentation