page = blog :: brent -> [string] url = https://byorgey.wordpress.com analysed @ 2021-11-27 04:23 UTC What would Dijkstra do? Proving the associativity of min