Prime Sieves

1. A Very Simple Prime Sieve in Haskell - November 10, 2018
2. Prime Sieves in Agda - December 14, 2018