1. Dmitry Grebeniuk
  2. coq-practical-monads
  3. Pull requests

Pull requests

#2 Merged
Repository
Deleted repository
Branch
default (f4320bfc430d)
Repository
coq-practical-monads
Branch
default

Draft of Applicative

Author
  1. Wojciech Meyer
Reviewers
Description
No description

Comments (0)