1 search result for "tag:"keyword:haskell""

Showing 1 - 1
  1. coq-haskell

    No documentation

    A library to provide Haskell-familiar constructions in Coq
    keyword:haskell category:Miscellaneous/Coq Extensions date:2022-07-22 logpath:Hask
    John Wiegley
    1.1.0
    BSD-3-Clause
    Used by 1 other packages
    22 Jul 2022