Purely Functional, Simple, and Efficient Implementation of Prim and Dijkstra by Peter Lammich and Tobias Nipkow Jun 25