[<<][libprim][>>][..]
Wed Aug 19 14:35:50 CEST 2009

Static linearity checks

It would be nice to find a way to statically enforce the linearity
constraint.  Currently, it's quite error-prone to write primitives.



[Reply][About]
[<<][libprim][>>][..]