diff options
| author | Alasdair Armstrong | 2018-10-31 18:31:56 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-10-31 18:51:13 +0000 |
| commit | aa451c3d9b9889ca00f45a928da9839788828072 (patch) | |
| tree | 835a72a68f2b56a82bad9839fdbcfb532a949e8d /doc/tutorial.tex | |
| parent | 1eedc27eeca4496bada669b700a59283cc6932e9 (diff) | |
Add rewriting pass for not-patterns
Doesn't work with nested not-patterns, but I think we should probably
just disallow these as they seem very hard to remove in any kind of
sensible way.
Diffstat (limited to 'doc/tutorial.tex')
0 files changed, 0 insertions, 0 deletions