Toy repo for functional analysis code