The latest version of eq is 4.3-1.
eq
Version 3.0 revision 1 uploaded by AdamBergmark.
Package meta
- Synopsis
- Leibnizian equality
- Description
Leibnizian equality
- Author
- Edward A. Kmett
- Bug reports
- http://github.com/ekmett/eq/issues
- 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