diff options
| author | Jason Gross | 2019-09-16 19:19:07 -0400 |
|---|---|---|
| committer | Jason Gross | 2019-11-26 14:14:04 -0500 |
| commit | b09444fdaee1cf608dd40465d5e400fbd46ef6ad (patch) | |
| tree | 96918b6f363dcbad148d8b5cb4623eacddd3c75e /dev/base_include | |
| parent | 49d21a292c3a57e8ec01888745957716834f1e36 (diff) | |
Make rapply handle all numbers of underscores
Also add a tactic notation so that it takes in uconstrs by default.
Also add some basic tests for `rapply`.
Also document rapply in the manual
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions