defun-sop
Version 0.1 revision 0 uploaded by phadej.
Package meta
- Synopsis
- Defunctionalization helpers: lists
- Description
This package provides term definitions for type families in DeFun.List using NP type from
sop-corepackage.- Author
- Oleg Grenrus <oleg.grenrus@iki.fi>
- Bug reports
- n/a
- Category
- Data
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- Oleg Grenrus <oleg.grenrus@iki.fi>
- Package URL
- n/a
- Stability
- n/a