Existence – Efficient, Effective, Templatised!

Tue, 01 Jun 2021 14:43:39 +0000

This is triggered by @manuscrypt’s interesting piece on Efficient Existence.