Proving the Fundamental Theorem of Arithmetic in Agda

Introduction to competitive programming in Haskell

Monads are not like burritos

Purely Functional Sliding Window Aggregation Algorithm

Purely Functional Sliding Window Aggregation Algorithm