Personal Blog Site Generator
This code has two different porpuses. The first one is to create a simple blog engine converting markdown to html. The second one is to experiment with Shape Functors with value-hole abstraction. This resembles to the usage of univalence axiom of HoTT in some typing context.