1. 18
    Using Coq to Write Fast and Correct Haskell pdf formalmethods haskell cs.purdue.edu
    NinjaTrappeur avatar via NinjaTrappeur 1 year ago | cached | no comments

  1.