Overview of Rocq as a programming language and theorem prover.

How does Ctlr+F work? The suffix array algorithm is the answer.

A small exploration of functors and applicative functors in haskell.