coq-haskell Versions (2)

Version Release Date Links
1.1.0 22 Jul 2022 Documentation
1.0.0 30 Mar 2022 Documentation