As part of his study of AFRP, Adam has been working on how to idiomatically express the
bouncing ball simulation in Yampa. While looking for inspiration online, Adam found a very helpful paper by Henrik Nilsson (
Functional Automatic Differentiation with Dirac Impulses) which describes two such implementations in detail.