Rasmus Munk Larsen e15bb785ad Collapsed revision ...

* Add packet up "pones". Write pnot(a) as pxor(pones(a), a).
* Collapsed revision
* Simplify a bit.
* Undo useless diffs.
* Fix typo.

2019-01-09 16:34:23 -08:00

32 KiB

Raw Blame History

View Raw