diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-07-11T13·29+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-07-11T13·29+0000 |
commit | 7cd88b1dec29f33188e789d780ec2e4ebb155d20 (patch) | |
tree | c2a3934a763e6968af7fce554a5840516fa6208e /doc/manual/conf-file.xml | |
parent | d567baabbd99fdb92e67295a77aef76ef970e65c (diff) |
* Generalised the dependencyClosure primop to builtins.genericClosure,
which is hopefully more useful. * New primops: length, mul, div.
Diffstat (limited to 'doc/manual/conf-file.xml')
0 files changed, 0 insertions, 0 deletions