Skip to content
Snippets Groups Projects
Commit 040140dd authored by Eelco Dolstra's avatar Eelco Dolstra
Browse files

* Added a primop `removeAttrs' to remove attributes from a set, e.g.,

  `removeAttrs attrs ["x", "y"]' returns the set `attrs' with the
  attributes named `x' and `y' removed.  It is not an error for the
  named attributes to be missing from the input set.
parent 109cde67
No related branches found
No related tags found
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment