1 search result for "tag:"logpath:Hask""
Showing 1 - 1
-
coq-haskell
No documentation
A library to provide Haskell-familiar constructions in Coq1.1.0BSD-3-ClauseUsed by 1 other packages22 Jul 2022