Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | canonical-structures.rst | 14005 | logplain |
-rw-r--r-- | extended-pattern-matching.rst | 18789 | logplain |
-rw-r--r-- | implicit-coercions.rst | 15907 | logplain |
-rw-r--r-- | micromega.rst | 10761 | logplain |
-rw-r--r-- | omega.rst | 5607 | logplain |
-rw-r--r-- | type-classes.rst | 20317 | logplain |