The latest version of nf is 1.0.1.0-0.
nf
Version 1.0.0.0 revision 1 uploaded by HerbertValerioRiedel.
Package meta
- Synopsis
- NF data type to statically enforce normal form
- Description
This package provides a data type NF representing data which has been evaluated to normal form. This is a useful type discipline for many situations when normal form data is necessary, e.g. when transmitting data to other threads over channels.
- Author
- Edward Z. Yang
- Bug reports
- n/a
- Category
- Data
- Copyright
- n/a
- Homepage
- https://github.com/ezyang/nf
- Maintainer
- ezyang@cs.stanford.edu
- Package URL
- n/a
- Stability
- n/a