Note that the web version of Caymon is compiled from (an older version) of its Haskell source using the ghcjs compiler. This version is somewhat limited, as the current Haskell version can additionally produce Haddock documentation and QuickCheck tests to check some of the properties of the generated data structures.