The latest version of eq is 4.3-1.
eq
Version 0.3.2 revision 0 uploaded by EdwardKmett.
Package meta
- Synopsis
- Leibnizian equality
- Description
Leibnizian equality
- Author
- Edward A. Kmett
- Bug reports
- n/a
- Category
- Type System
- Copyright
- Copyright (C) 2011 Edward A. Kmett
- Homepage
- http://github.com/ekmett/eq/
- Maintainer
- Edward A. Kmett <ekmett@gmail.com>
- Package URL
- n/a
- Stability
- provisional