Documentation page

Please refer to the link above for the documentation of our implementation. This page is generated using Haddock.