Files
-rwxr-xr-x | 9636 | root | root | /usr/bin/agda |
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda |
-rw-r--r-- | 6859 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Paths_Agda.dyn_hi |
-rw-r--r-- | 6847 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Paths_Agda.hi |
-rw-r--r-- | 8345 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Paths_Agda.p_hi |
-rw-r--r-- | 28461942 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/libHSAgda-2.3.2.1.a |
-rw-r--r-- | 66415078 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/libHSAgda-2.3.2.1_p.a |
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto |
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler |
-rw-r--r-- | 1228 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/ImpossibleTest.dyn_hi |
-rw-r--r-- | 1216 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/ImpossibleTest.hi |
-rw-r--r-- | 1782 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/ImpossibleTest.p_hi |
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction |
-rw-r--r-- | 24306 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Main.dyn_hi |
-rw-r--r-- | 24294 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Main.hi |
-rw-r--r-- | 33992 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Main.p_hi |
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Packaging |
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax |
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Termination |
-rw-r--r-- | 13998 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Tests.dyn_hi |
-rw-r--r-- | 13986 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Tests.hi |
-rw-r--r-- | 14124 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Tests.p_hi |
-rw-r--r-- | 9538 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecker.dyn_hi |
-rw-r--r-- | 9526 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecker.hi |
-rw-r--r-- | 9530 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecker.p_hi |
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking |
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils |
-rw-r--r-- | 1551 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Version.dyn_hi |
-rw-r--r-- | 1539 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Version.hi |
-rw-r--r-- | 1805 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Version.p_hi |
-rw-r--r-- | 16965 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/Auto.dyn_hi |
-rw-r--r-- | 16953 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/Auto.hi |
-rw-r--r-- | 16957 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/Auto.p_hi |
-rw-r--r-- | 22085 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/CaseSplit.dyn_hi |
-rw-r--r-- | 22073 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/CaseSplit.hi |
-rw-r--r-- | 24845 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/CaseSplit.p_hi |
-rw-r--r-- | 48675 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/Convert.dyn_hi |
-rw-r--r-- | 48663 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/Convert.hi |
-rw-r--r-- | 54762 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/Convert.p_hi |
-rw-r--r-- | 44551 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/NarrowingSearch.dyn_hi |
-rw-r--r-- | 44539 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/NarrowingSearch.hi |
-rw-r--r-- | 45534 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/NarrowingSearch.p_hi |
-rw-r--r-- | 28137 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/SearchControl.dyn_hi |
-rw-r--r-- | 28125 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/SearchControl.hi |
-rw-r--r-- | 30384 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/SearchControl.p_hi |
-rw-r--r-- | 22953 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/Syntax.dyn_hi |
-rw-r--r-- | 22941 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/Syntax.hi |
-rw-r--r-- | 24635 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/Syntax.p_hi |
-rw-r--r-- | 36337 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/Typecheck.dyn_hi |
-rw-r--r-- | 36325 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/Typecheck.hi |
-rw-r--r-- | 35980 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Auto/Typecheck.p_hi |
-rw-r--r-- | 9109 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/CallCompiler.dyn_hi |
-rw-r--r-- | 9097 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/CallCompiler.hi |
-rw-r--r-- | 13848 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/CallCompiler.p_hi |
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic |
-rw-r--r-- | 23174 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/HaskellTypes.dyn_hi |
-rw-r--r-- | 23162 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/HaskellTypes.hi |
-rw-r--r-- | 22205 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/HaskellTypes.p_hi |
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/JS |
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/MAlonzo |
-rw-r--r-- | 34957 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/AuxAST.dyn_hi |
-rw-r--r-- | 34945 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/AuxAST.hi |
-rw-r--r-- | 40726 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/AuxAST.p_hi |
-rw-r--r-- | 9521 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/CaseOpts.dyn_hi |
-rw-r--r-- | 9509 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/CaseOpts.hi |
-rw-r--r-- | 9363 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/CaseOpts.p_hi |
-rw-r--r-- | 44030 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/CompileState.dyn_hi |
-rw-r--r-- | 44018 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/CompileState.hi |
-rw-r--r-- | 54749 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/CompileState.p_hi |
-rw-r--r-- | 16741 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/Compiler.dyn_hi |
-rw-r--r-- | 16729 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/Compiler.hi |
-rw-r--r-- | 16733 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/Compiler.p_hi |
-rw-r--r-- | 11605 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/Epic.dyn_hi |
-rw-r--r-- | 11593 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/Epic.hi |
-rw-r--r-- | 8574 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/Epic.p_hi |
-rw-r--r-- | 22897 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/Erasure.dyn_hi |
-rw-r--r-- | 22885 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/Erasure.hi |
-rw-r--r-- | 22743 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/Erasure.p_hi |
-rw-r--r-- | 11198 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/ForceConstrs.dyn_hi |
-rw-r--r-- | 11186 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/ForceConstrs.hi |
-rw-r--r-- | 11012 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/ForceConstrs.p_hi |
-rw-r--r-- | 25224 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/Forcing.dyn_hi |
-rw-r--r-- | 25212 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/Forcing.hi |
-rw-r--r-- | 26652 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/Forcing.p_hi |
-rw-r--r-- | 20269 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/FromAgda.dyn_hi |
-rw-r--r-- | 20257 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/FromAgda.hi |
-rw-r--r-- | 18973 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/FromAgda.p_hi |
-rw-r--r-- | 38563 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/Injection.dyn_hi |
-rw-r--r-- | 38551 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/Injection.hi |
-rw-r--r-- | 38236 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/Injection.p_hi |
-rw-r--r-- | 29962 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/Interface.dyn_hi |
-rw-r--r-- | 29950 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/Interface.hi |
-rw-r--r-- | 33152 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/Interface.p_hi |
-rw-r--r-- | 13135 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/NatDetection.dyn_hi |
-rw-r--r-- | 13123 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/NatDetection.hi |
-rw-r--r-- | 13830 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/NatDetection.p_hi |
-rw-r--r-- | 30722 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/Primitive.dyn_hi |
-rw-r--r-- | 30710 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/Primitive.hi |
-rw-r--r-- | 35132 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/Primitive.p_hi |
-rw-r--r-- | 16515 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/Smashing.dyn_hi |
-rw-r--r-- | 16503 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/Smashing.hi |
-rw-r--r-- | 16676 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/Smashing.p_hi |
-rw-r--r-- | 11774 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/Static.dyn_hi |
-rw-r--r-- | 11762 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/Static.hi |
-rw-r--r-- | 11776 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/Epic/Static.p_hi |
-rw-r--r-- | 15609 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/JS/Case.dyn_hi |
-rw-r--r-- | 15597 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/JS/Case.hi |
-rw-r--r-- | 16621 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/JS/Case.p_hi |
-rw-r--r-- | 44611 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/JS/Compiler.dyn_hi |
-rw-r--r-- | 44599 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/JS/Compiler.hi |
-rw-r--r-- | 56580 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/JS/Compiler.p_hi |
-rw-r--r-- | 38972 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/JS/Parser.dyn_hi |
-rw-r--r-- | 38960 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/JS/Parser.hi |
-rw-r--r-- | 47555 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/JS/Parser.p_hi |
-rw-r--r-- | 11140 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/JS/Pretty.dyn_hi |
-rw-r--r-- | 11128 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/JS/Pretty.hi |
-rw-r--r-- | 11708 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/JS/Pretty.p_hi |
-rw-r--r-- | 9392 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/JS/Substitution.dyn_hi |
-rw-r--r-- | 9380 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/JS/Substitution.hi |
-rw-r--r-- | 9811 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/JS/Substitution.p_hi |
-rw-r--r-- | 37990 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/JS/Syntax.dyn_hi |
-rw-r--r-- | 37978 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/JS/Syntax.hi |
-rw-r--r-- | 40602 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/JS/Syntax.p_hi |
-rw-r--r-- | 61440 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/MAlonzo/Compiler.dyn_hi |
-rw-r--r-- | 61428 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/MAlonzo/Compiler.hi |
-rw-r--r-- | 86139 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/MAlonzo/Compiler.p_hi |
-rw-r--r-- | 20178 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/MAlonzo/Encode.dyn_hi |
-rw-r--r-- | 20166 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/MAlonzo/Encode.hi |
-rw-r--r-- | 21019 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/MAlonzo/Encode.p_hi |
-rw-r--r-- | 34088 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/MAlonzo/Misc.dyn_hi |
-rw-r--r-- | 34076 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/MAlonzo/Misc.hi |
-rw-r--r-- | 35231 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/MAlonzo/Misc.p_hi |
-rw-r--r-- | 13766 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/MAlonzo/Pretty.dyn_hi |
-rw-r--r-- | 13754 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/MAlonzo/Pretty.hi |
-rw-r--r-- | 13608 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/MAlonzo/Pretty.p_hi |
-rw-r--r-- | 99736 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/MAlonzo/Primitives.dyn_hi |
-rw-r--r-- | 99724 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/MAlonzo/Primitives.hi |
-rw-r--r-- | 143628 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Compiler/MAlonzo/Primitives.p_hi |
-rw-r--r-- | 83356 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/BasicOps.dyn_hi |
-rw-r--r-- | 83344 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/BasicOps.hi |
-rw-r--r-- | 96924 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/BasicOps.p_hi |
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/CommandLine |
-rw-r--r-- | 8442 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/EmacsCommand.dyn_hi |
-rw-r--r-- | 8430 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/EmacsCommand.hi |
-rw-r--r-- | 9422 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/EmacsCommand.p_hi |
-rw-r--r-- | 5016 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/Exceptions.dyn_hi |
-rw-r--r-- | 5004 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/Exceptions.hi |
-rw-r--r-- | 5251 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/Exceptions.p_hi |
-rw-r--r-- | 21231 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/FindFile.dyn_hi |
-rw-r--r-- | 21219 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/FindFile.hi |
-rw-r--r-- | 20357 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/FindFile.p_hi |
-rw-r--r-- | 17853 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/GhcTop.dyn_hi |
-rw-r--r-- | 17841 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/GhcTop.hi |
-rw-r--r-- | 18425 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/GhcTop.p_hi |
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/Highlighting |
-rw-r--r-- | 41150 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/Imports.dyn_hi |
-rw-r--r-- | 41138 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/Imports.hi |
-rw-r--r-- | 44414 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/Imports.p_hi |
-rw-r--r-- | 138293 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/InteractionTop.dyn_hi |
-rw-r--r-- | 138281 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/InteractionTop.hi |
-rw-r--r-- | 158683 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/InteractionTop.p_hi |
-rw-r--r-- | 21321 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/MakeCase.dyn_hi |
-rw-r--r-- | 21309 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/MakeCase.hi |
-rw-r--r-- | 21069 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/MakeCase.p_hi |
-rw-r--r-- | 14224 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/Monad.dyn_hi |
-rw-r--r-- | 14212 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/Monad.hi |
-rw-r--r-- | 14736 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/Monad.p_hi |
-rw-r--r-- | 91552 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/Options.dyn_hi |
-rw-r--r-- | 91540 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/Options.hi |
-rw-r--r-- | 112098 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/Options.p_hi |
-rw-r--r-- | 9087 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/Response.dyn_hi |
-rw-r--r-- | 9075 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/Response.hi |
-rw-r--r-- | 9771 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/Response.p_hi |
-rw-r--r-- | 43641 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/CommandLine/CommandLine.dyn_hi |
-rw-r--r-- | 43629 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/CommandLine/CommandLine.hi |
-rw-r--r-- | 47221 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/CommandLine/CommandLine.p_hi |
-rw-r--r-- | 15948 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/Highlighting/Dot.dyn_hi |
-rw-r--r-- | 15936 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/Highlighting/Dot.hi |
-rw-r--r-- | 16051 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/Highlighting/Dot.p_hi |
-rw-r--r-- | 10289 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/Highlighting/Emacs.dyn_hi |
-rw-r--r-- | 10277 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/Highlighting/Emacs.hi |
-rw-r--r-- | 10410 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/Highlighting/Emacs.p_hi |
-rw-r--r-- | 25017 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/Highlighting/Generate.dyn_hi |
-rw-r--r-- | 25005 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/Highlighting/Generate.hi |
-rw-r--r-- | 35521 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/Highlighting/Generate.p_hi |
-rw-r--r-- | 12281 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/Highlighting/HTML.dyn_hi |
-rw-r--r-- | 12269 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/Highlighting/HTML.hi |
-rw-r--r-- | 12690 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/Highlighting/HTML.p_hi |
-rw-r--r-- | 11071 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/Highlighting/LaTeX.dyn_hi |
-rw-r--r-- | 11059 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/Highlighting/LaTeX.hi |
-rw-r--r-- | 11063 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/Highlighting/LaTeX.p_hi |
-rw-r--r-- | 83128 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/Highlighting/Precise.dyn_hi |
-rw-r--r-- | 83116 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/Highlighting/Precise.hi |
-rw-r--r-- | 89270 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/Highlighting/Precise.p_hi |
-rw-r--r-- | 23152 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/Highlighting/Range.dyn_hi |
-rw-r--r-- | 23140 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/Highlighting/Range.hi |
-rw-r--r-- | 23627 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/Highlighting/Range.p_hi |
-rw-r--r-- | 12494 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/Highlighting/Vim.dyn_hi |
-rw-r--r-- | 12482 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/Highlighting/Vim.hi |
-rw-r--r-- | 15807 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Interaction/Highlighting/Vim.p_hi |
-rw-r--r-- | 834 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Packaging/Config.dyn_hi |
-rw-r--r-- | 822 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Packaging/Config.hi |
-rw-r--r-- | 826 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Packaging/Config.p_hi |
-rw-r--r-- | 836 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Packaging/Database.dyn_hi |
-rw-r--r-- | 824 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Packaging/Database.hi |
-rw-r--r-- | 828 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Packaging/Database.p_hi |
-rw-r--r-- | 833 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Packaging/Monad.dyn_hi |
-rw-r--r-- | 821 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Packaging/Monad.hi |
-rw-r--r-- | 825 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Packaging/Monad.p_hi |
-rw-r--r-- | 833 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Packaging/Types.dyn_hi |
-rw-r--r-- | 821 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Packaging/Types.hi |
-rw-r--r-- | 825 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Packaging/Types.p_hi |
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Abstract |
-rw-r--r-- | 88796 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Abstract.dyn_hi |
-rw-r--r-- | 88784 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Abstract.hi |
-rw-r--r-- | 111196 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Abstract.p_hi |
-rw-r--r-- | 114048 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Common.dyn_hi |
-rw-r--r-- | 114036 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Common.hi |
-rw-r--r-- | 130695 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Common.p_hi |
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Concrete |
-rw-r--r-- | 64530 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Concrete.dyn_hi |
-rw-r--r-- | 64518 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Concrete.hi |
-rw-r--r-- | 79403 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Concrete.p_hi |
-rw-r--r-- | 30261 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Fixity.dyn_hi |
-rw-r--r-- | 30249 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Fixity.hi |
-rw-r--r-- | 34120 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Fixity.p_hi |
-rw-r--r-- | 41009 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Info.dyn_hi |
-rw-r--r-- | 40997 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Info.hi |
-rw-r--r-- | 48637 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Info.p_hi |
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Internal |
-rw-r--r-- | 101802 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Internal.dyn_hi |
-rw-r--r-- | 101790 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Internal.hi |
-rw-r--r-- | 114444 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Internal.p_hi |
-rw-r--r-- | 10597 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Literal.dyn_hi |
-rw-r--r-- | 10585 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Literal.hi |
-rw-r--r-- | 11053 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Literal.p_hi |
-rw-r--r-- | 9364 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Notation.dyn_hi |
-rw-r--r-- | 9352 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Notation.hi |
-rw-r--r-- | 10151 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Notation.p_hi |
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Parser |
-rw-r--r-- | 10622 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Parser.dyn_hi |
-rw-r--r-- | 10610 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Parser.hi |
-rw-r--r-- | 12294 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Parser.p_hi |
-rw-r--r-- | 122685 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Position.dyn_hi |
-rw-r--r-- | 122673 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Position.hi |
-rw-r--r-- | 138747 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Position.p_hi |
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Scope |
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Translation |
-rw-r--r-- | 49730 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Abstract/Copatterns.dyn_hi |
-rw-r--r-- | 49718 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Abstract/Copatterns.hi |
-rw-r--r-- | 54603 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Abstract/Copatterns.p_hi |
-rw-r--r-- | 57959 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Abstract/Name.dyn_hi |
-rw-r--r-- | 57947 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Abstract/Name.hi |
-rw-r--r-- | 60827 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Abstract/Name.p_hi |
-rw-r--r-- | 12184 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Abstract/Pretty.dyn_hi |
-rw-r--r-- | 12172 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Abstract/Pretty.hi |
-rw-r--r-- | 9906 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Abstract/Pretty.p_hi |
-rw-r--r-- | 3971 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Abstract/Views.dyn_hi |
-rw-r--r-- | 3959 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Abstract/Views.hi |
-rw-r--r-- | 3987 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Abstract/Views.p_hi |
-rw-r--r-- | 37936 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Concrete/Definitions.dyn_hi |
-rw-r--r-- | 37924 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Concrete/Definitions.hi |
-rw-r--r-- | 41218 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Concrete/Definitions.p_hi |
-rw-r--r-- | 34178 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Concrete/Name.dyn_hi |
-rw-r--r-- | 34166 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Concrete/Name.hi |
-rw-r--r-- | 38598 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Concrete/Name.p_hi |
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Concrete/Operators |
-rw-r--r-- | 34014 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Concrete/Operators.dyn_hi |
-rw-r--r-- | 34002 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Concrete/Operators.hi |
-rw-r--r-- | 35690 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Concrete/Operators.p_hi |
-rw-r--r-- | 67822 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Concrete/Pretty.dyn_hi |
-rw-r--r-- | 67810 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Concrete/Pretty.hi |
-rw-r--r-- | 74288 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Concrete/Pretty.p_hi |
-rw-r--r-- | 26275 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Concrete/Operators/Parser.dyn_hi |
-rw-r--r-- | 26263 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Concrete/Operators/Parser.hi |
-rw-r--r-- | 31978 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Concrete/Operators/Parser.p_hi |
-rw-r--r-- | 33522 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Internal/Generic.dyn_hi |
-rw-r--r-- | 33510 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Internal/Generic.hi |
-rw-r--r-- | 36628 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Internal/Generic.p_hi |
-rw-r--r-- | 7852 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Internal/Pattern.dyn_hi |
-rw-r--r-- | 7840 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Internal/Pattern.hi |
-rw-r--r-- | 8040 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Internal/Pattern.p_hi |
-rw-r--r-- | 7697 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Parser/Alex.dyn_hi |
-rw-r--r-- | 7685 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Parser/Alex.hi |
-rw-r--r-- | 8644 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Parser/Alex.p_hi |
-rw-r--r-- | 12013 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Parser/Comments.dyn_hi |
-rw-r--r-- | 12001 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Parser/Comments.hi |
-rw-r--r-- | 10817 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Parser/Comments.p_hi |
-rw-r--r-- | 10339 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Parser/Layout.dyn_hi |
-rw-r--r-- | 10327 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Parser/Layout.hi |
-rw-r--r-- | 12581 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Parser/Layout.p_hi |
-rw-r--r-- | 18699 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Parser/LexActions.dyn_hi |
-rw-r--r-- | 18687 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Parser/LexActions.hi |
-rw-r--r-- | 19564 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Parser/LexActions.p_hi |
-rw-r--r-- | 12740 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Parser/Lexer.dyn_hi |
-rw-r--r-- | 12728 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Parser/Lexer.hi |
-rw-r--r-- | 12923 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Parser/Lexer.p_hi |
-rw-r--r-- | 15948 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Parser/LookAhead.dyn_hi |
-rw-r--r-- | 15936 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Parser/LookAhead.hi |
-rw-r--r-- | 17907 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Parser/LookAhead.p_hi |
-rw-r--r-- | 32934 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Parser/Monad.dyn_hi |
-rw-r--r-- | 32922 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Parser/Monad.hi |
-rw-r--r-- | 39281 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Parser/Monad.p_hi |
-rw-r--r-- | 21369 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Parser/Parser.dyn_hi |
-rw-r--r-- | 21357 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Parser/Parser.hi |
-rw-r--r-- | 24698 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Parser/Parser.p_hi |
-rw-r--r-- | 9617 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Parser/StringLiterals.dyn_hi |
-rw-r--r-- | 9605 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Parser/StringLiterals.hi |
-rw-r--r-- | 12002 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Parser/StringLiterals.p_hi |
-rw-r--r-- | 27865 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Parser/Tokens.dyn_hi |
-rw-r--r-- | 27853 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Parser/Tokens.hi |
-rw-r--r-- | 31134 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Parser/Tokens.p_hi |
-rw-r--r-- | 111542 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Scope/Base.dyn_hi |
-rw-r--r-- | 111530 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Scope/Base.hi |
-rw-r--r-- | 113687 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Scope/Base.p_hi |
-rw-r--r-- | 74436 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Scope/Monad.dyn_hi |
-rw-r--r-- | 74424 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Scope/Monad.hi |
-rw-r--r-- | 64600 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Scope/Monad.p_hi |
-rw-r--r-- | 87549 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Translation/AbstractToConcrete.dyn_hi |
-rw-r--r-- | 87537 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Translation/AbstractToConcrete.hi |
-rw-r--r-- | 95938 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Translation/AbstractToConcrete.p_hi |
-rw-r--r-- | 91009 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Translation/ConcreteToAbstract.dyn_hi |
-rw-r--r-- | 90997 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Translation/ConcreteToAbstract.hi |
-rw-r--r-- | 81153 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Translation/ConcreteToAbstract.p_hi |
-rw-r--r-- | 56782 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Translation/InternalToAbstract.dyn_hi |
-rw-r--r-- | 56770 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Translation/InternalToAbstract.hi |
-rw-r--r-- | 61563 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Syntax/Translation/InternalToAbstract.p_hi |
-rw-r--r-- | 55665 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Termination/CallGraph.dyn_hi |
-rw-r--r-- | 55653 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Termination/CallGraph.hi |
-rw-r--r-- | 63360 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Termination/CallGraph.p_hi |
-rw-r--r-- | 43073 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Termination/Lexicographic.dyn_hi |
-rw-r--r-- | 43061 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Termination/Lexicographic.hi |
-rw-r--r-- | 46410 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Termination/Lexicographic.p_hi |
-rw-r--r-- | 116682 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Termination/Matrix.dyn_hi |
-rw-r--r-- | 116670 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Termination/Matrix.hi |
-rw-r--r-- | 128947 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Termination/Matrix.p_hi |
-rw-r--r-- | 9589 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Termination/Semiring.dyn_hi |
-rw-r--r-- | 9577 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Termination/Semiring.hi |
-rw-r--r-- | 8491 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Termination/Semiring.p_hi |
-rw-r--r-- | 114523 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Termination/SparseMatrix.dyn_hi |
-rw-r--r-- | 114511 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Termination/SparseMatrix.hi |
-rw-r--r-- | 132320 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Termination/SparseMatrix.p_hi |
-rw-r--r-- | 24637 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Termination/TermCheck.dyn_hi |
-rw-r--r-- | 24625 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Termination/TermCheck.hi |
-rw-r--r-- | 23185 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Termination/TermCheck.p_hi |
-rw-r--r-- | 26169 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Termination/Termination.dyn_hi |
-rw-r--r-- | 26157 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Termination/Termination.hi |
-rw-r--r-- | 30949 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Termination/Termination.p_hi |
-rw-r--r-- | 15522 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Abstract.dyn_hi |
-rw-r--r-- | 15510 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Abstract.hi |
-rw-r--r-- | 16404 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Abstract.p_hi |
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/CompiledClause |
-rw-r--r-- | 38017 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/CompiledClause.dyn_hi |
-rw-r--r-- | 38005 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/CompiledClause.hi |
-rw-r--r-- | 39734 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/CompiledClause.p_hi |
-rw-r--r-- | 29354 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Constraints.dyn_hi |
-rw-r--r-- | 29342 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Constraints.hi |
-rw-r--r-- | 40840 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Constraints.p_hi |
-rw-r--r-- | 31415 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Conversion.dyn_hi |
-rw-r--r-- | 31403 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Conversion.hi |
-rw-r--r-- | 33135 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Conversion.p_hi |
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Coverage |
-rw-r--r-- | 35913 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Coverage.dyn_hi |
-rw-r--r-- | 35901 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Coverage.hi |
-rw-r--r-- | 39428 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Coverage.p_hi |
-rw-r--r-- | 18547 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Datatypes.dyn_hi |
-rw-r--r-- | 18535 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Datatypes.hi |
-rw-r--r-- | 21810 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Datatypes.p_hi |
-rw-r--r-- | 17460 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/DisplayForm.dyn_hi |
-rw-r--r-- | 17448 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/DisplayForm.hi |
-rw-r--r-- | 17592 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/DisplayForm.p_hi |
-rw-r--r-- | 10695 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/DropArgs.dyn_hi |
-rw-r--r-- | 10683 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/DropArgs.hi |
-rw-r--r-- | 10873 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/DropArgs.p_hi |
-rw-r--r-- | 11703 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Eliminators.dyn_hi |
-rw-r--r-- | 11691 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Eliminators.hi |
-rw-r--r-- | 12136 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Eliminators.p_hi |
-rw-r--r-- | 10591 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Empty.dyn_hi |
-rw-r--r-- | 10579 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Empty.hi |
-rw-r--r-- | 14505 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Empty.p_hi |
-rw-r--r-- | 20834 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Errors.dyn_hi |
-rw-r--r-- | 20822 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Errors.hi |
-rw-r--r-- | 21849 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Errors.p_hi |
-rw-r--r-- | 8798 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/EtaContract.dyn_hi |
-rw-r--r-- | 8786 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/EtaContract.hi |
-rw-r--r-- | 8842 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/EtaContract.p_hi |
-rw-r--r-- | 10224 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Forcing.dyn_hi |
-rw-r--r-- | 10212 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Forcing.hi |
-rw-r--r-- | 10933 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Forcing.p_hi |
-rw-r--r-- | 27513 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Free.dyn_hi |
-rw-r--r-- | 27501 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Free.hi |
-rw-r--r-- | 29223 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Free.p_hi |
-rw-r--r-- | 13212 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Implicit.dyn_hi |
-rw-r--r-- | 13200 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Implicit.hi |
-rw-r--r-- | 14130 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Implicit.p_hi |
-rw-r--r-- | 16834 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Injectivity.dyn_hi |
-rw-r--r-- | 16822 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Injectivity.hi |
-rw-r--r-- | 21255 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Injectivity.p_hi |
-rw-r--r-- | 24292 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/InstanceArguments.dyn_hi |
-rw-r--r-- | 24280 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/InstanceArguments.hi |
-rw-r--r-- | 27169 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/InstanceArguments.p_hi |
-rw-r--r-- | 18287 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Irrelevance.dyn_hi |
-rw-r--r-- | 18275 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Irrelevance.hi |
-rw-r--r-- | 18802 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Irrelevance.p_hi |
-rw-r--r-- | 22153 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Level.dyn_hi |
-rw-r--r-- | 22141 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Level.hi |
-rw-r--r-- | 28447 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Level.p_hi |
-rw-r--r-- | 11034 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/LevelConstraints.dyn_hi |
-rw-r--r-- | 11022 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/LevelConstraints.hi |
-rw-r--r-- | 12518 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/LevelConstraints.p_hi |
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/MetaVars |
-rw-r--r-- | 65535 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/MetaVars.dyn_hi |
-rw-r--r-- | 65523 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/MetaVars.hi |
-rw-r--r-- | 78091 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/MetaVars.p_hi |
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad |
-rw-r--r-- | 56360 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad.dyn_hi |
-rw-r--r-- | 56348 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad.hi |
-rw-r--r-- | 56352 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad.p_hi |
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Patterns |
-rw-r--r-- | 30404 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Polarity.dyn_hi |
-rw-r--r-- | 30392 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Polarity.hi |
-rw-r--r-- | 32782 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Polarity.p_hi |
-rw-r--r-- | 69197 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Positivity.dyn_hi |
-rw-r--r-- | 69185 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Positivity.hi |
-rw-r--r-- | 66952 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Positivity.p_hi |
-rw-r--r-- | 66042 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Pretty.dyn_hi |
-rw-r--r-- | 66030 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Pretty.hi |
-rw-r--r-- | 73679 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Pretty.p_hi |
-rw-r--r-- | 167624 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Primitive.dyn_hi |
-rw-r--r-- | 167612 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Primitive.hi |
-rw-r--r-- | 244847 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Primitive.p_hi |
-rw-r--r-- | 11045 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/ProjectionLike.dyn_hi |
-rw-r--r-- | 11033 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/ProjectionLike.hi |
-rw-r--r-- | 10619 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/ProjectionLike.p_hi |
-rw-r--r-- | 41371 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Quote.dyn_hi |
-rw-r--r-- | 41359 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Quote.hi |
-rw-r--r-- | 46056 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Quote.p_hi |
-rw-r--r-- | 6676 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rebind.dyn_hi |
-rw-r--r-- | 6664 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rebind.hi |
-rw-r--r-- | 6680 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rebind.p_hi |
-rw-r--r-- | 33359 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/RecordPatterns.dyn_hi |
-rw-r--r-- | 33347 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/RecordPatterns.hi |
-rw-r--r-- | 36513 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/RecordPatterns.p_hi |
-rw-r--r-- | 33422 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Records.dyn_hi |
-rw-r--r-- | 33410 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Records.hi |
-rw-r--r-- | 42053 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Records.p_hi |
-rw-r--r-- | 143883 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Reduce.dyn_hi |
-rw-r--r-- | 143871 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Reduce.hi |
-rw-r--r-- | 147016 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Reduce.p_hi |
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules |
-rw-r--r-- | 269266 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Serialise.dyn_hi |
-rw-r--r-- | 269254 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Serialise.hi |
-rw-r--r-- | 317559 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Serialise.p_hi |
-rw-r--r-- | 50945 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/SizedTypes.dyn_hi |
-rw-r--r-- | 50933 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/SizedTypes.hi |
-rw-r--r-- | 58037 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/SizedTypes.p_hi |
-rw-r--r-- | 115877 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Substitute.dyn_hi |
-rw-r--r-- | 115865 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Substitute.hi |
-rw-r--r-- | 135177 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Substitute.p_hi |
-rw-r--r-- | 16437 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Telescope.dyn_hi |
-rw-r--r-- | 16425 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Telescope.hi |
-rw-r--r-- | 18517 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Telescope.p_hi |
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Test |
-rw-r--r-- | 16480 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Tests.dyn_hi |
-rw-r--r-- | 16468 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Tests.hi |
-rw-r--r-- | 15029 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Tests.p_hi |
-rw-r--r-- | 9189 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/UniversePolymorphism.dyn_hi |
-rw-r--r-- | 9177 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/UniversePolymorphism.hi |
-rw-r--r-- | 9233 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/UniversePolymorphism.p_hi |
-rw-r--r-- | 15599 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/With.dyn_hi |
-rw-r--r-- | 15587 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/With.hi |
-rw-r--r-- | 15615 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/With.p_hi |
-rw-r--r-- | 16112 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/CompiledClause/Compile.dyn_hi |
-rw-r--r-- | 16100 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/CompiledClause/Compile.hi |
-rw-r--r-- | 18327 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/CompiledClause/Compile.p_hi |
-rw-r--r-- | 12635 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/CompiledClause/Match.dyn_hi |
-rw-r--r-- | 12623 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/CompiledClause/Match.hi |
-rw-r--r-- | 11935 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/CompiledClause/Match.p_hi |
-rw-r--r-- | 14828 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Coverage/Match.dyn_hi |
-rw-r--r-- | 14816 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Coverage/Match.hi |
-rw-r--r-- | 15975 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Coverage/Match.p_hi |
-rw-r--r-- | 18585 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Coverage/SplitTree.dyn_hi |
-rw-r--r-- | 18573 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Coverage/SplitTree.hi |
-rw-r--r-- | 19540 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Coverage/SplitTree.p_hi |
-rw-r--r-- | 17282 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/MetaVars/Mention.dyn_hi |
-rw-r--r-- | 17270 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/MetaVars/Mention.hi |
-rw-r--r-- | 17742 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/MetaVars/Mention.p_hi |
-rw-r--r-- | 75005 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/MetaVars/Occurs.dyn_hi |
-rw-r--r-- | 74993 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/MetaVars/Occurs.hi |
-rw-r--r-- | 75207 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/MetaVars/Occurs.p_hi |
-rw-r--r-- | 327272 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Base.dyn_hi |
-rw-r--r-- | 327260 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Base.hi |
-rw-r--r-- | 359803 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Base.p_hi |
-rw-r--r-- | 55163 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Builtin.dyn_hi |
-rw-r--r-- | 55151 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Builtin.hi |
-rw-r--r-- | 59219 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Builtin.p_hi |
-rw-r--r-- | 8725 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Closure.dyn_hi |
-rw-r--r-- | 8713 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Closure.hi |
-rw-r--r-- | 7841 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Closure.p_hi |
-rw-r--r-- | 31101 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Constraints.dyn_hi |
-rw-r--r-- | 31089 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Constraints.hi |
-rw-r--r-- | 33979 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Constraints.p_hi |
-rw-r--r-- | 65305 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Context.dyn_hi |
-rw-r--r-- | 65293 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Context.hi |
-rw-r--r-- | 66137 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Context.p_hi |
-rw-r--r-- | 1454 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Debug.dyn_hi |
-rw-r--r-- | 1442 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Debug.hi |
-rw-r--r-- | 1472 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Debug.p_hi |
-rw-r--r-- | 10752 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Env.dyn_hi |
-rw-r--r-- | 10740 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Env.hi |
-rw-r--r-- | 11399 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Env.p_hi |
-rw-r--r-- | 39219 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Exception.dyn_hi |
-rw-r--r-- | 39207 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Exception.hi |
-rw-r--r-- | 41208 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Exception.p_hi |
-rw-r--r-- | 23147 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Imports.dyn_hi |
-rw-r--r-- | 23135 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Imports.hi |
-rw-r--r-- | 23062 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Imports.p_hi |
-rw-r--r-- | 49204 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/MetaVars.dyn_hi |
-rw-r--r-- | 49192 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/MetaVars.hi |
-rw-r--r-- | 52371 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/MetaVars.p_hi |
-rw-r--r-- | 22809 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Mutual.dyn_hi |
-rw-r--r-- | 22797 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Mutual.hi |
-rw-r--r-- | 26902 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Mutual.p_hi |
-rw-r--r-- | 12010 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Open.dyn_hi |
-rw-r--r-- | 11998 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Open.hi |
-rw-r--r-- | 8352 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Open.p_hi |
-rw-r--r-- | 44357 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Options.dyn_hi |
-rw-r--r-- | 44345 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Options.hi |
-rw-r--r-- | 46671 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Options.p_hi |
-rw-r--r-- | 14168 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Sharing.dyn_hi |
-rw-r--r-- | 14156 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Sharing.hi |
-rw-r--r-- | 14801 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Sharing.p_hi |
-rw-r--r-- | 75824 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Signature.dyn_hi |
-rw-r--r-- | 75812 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Signature.hi |
-rw-r--r-- | 81934 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Signature.p_hi |
-rw-r--r-- | 35583 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/SizedTypes.dyn_hi |
-rw-r--r-- | 35571 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/SizedTypes.hi |
-rw-r--r-- | 40846 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/SizedTypes.p_hi |
-rw-r--r-- | 28308 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/State.dyn_hi |
-rw-r--r-- | 28296 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/State.hi |
-rw-r--r-- | 28288 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/State.p_hi |
-rw-r--r-- | 7953 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Statistics.dyn_hi |
-rw-r--r-- | 7941 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Statistics.hi |
-rw-r--r-- | 8163 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Statistics.p_hi |
-rw-r--r-- | 13609 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Trace.dyn_hi |
-rw-r--r-- | 13597 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Trace.hi |
-rw-r--r-- | 13866 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Monad/Trace.p_hi |
-rw-r--r-- | 11650 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Patterns/Match.dyn_hi |
-rw-r--r-- | 11638 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Patterns/Match.hi |
-rw-r--r-- | 18402 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Patterns/Match.p_hi |
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/Builtin |
-rw-r--r-- | 22158 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/Builtin.dyn_hi |
-rw-r--r-- | 22146 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/Builtin.hi |
-rw-r--r-- | 105579 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/Builtin.p_hi |
-rw-r--r-- | 18732 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/Data.dyn_hi |
-rw-r--r-- | 18720 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/Data.hi |
-rw-r--r-- | 22658 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/Data.p_hi |
-rw-r--r-- | 26154 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/Decl.dyn_hi |
-rw-r--r-- | 26142 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/Decl.hi |
-rw-r--r-- | 31821 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/Decl.p_hi |
-rw-r--r-- | 28185 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/Def.dyn_hi |
-rw-r--r-- | 28173 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/Def.hi |
-rw-r--r-- | 30057 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/Def.p_hi |
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/LHS |
-rw-r--r-- | 25473 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/LHS.dyn_hi |
-rw-r--r-- | 25461 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/LHS.hi |
-rw-r--r-- | 26163 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/LHS.p_hi |
-rw-r--r-- | 16307 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/Record.dyn_hi |
-rw-r--r-- | 16295 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/Record.hi |
-rw-r--r-- | 16299 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/Record.p_hi |
-rw-r--r-- | 52844 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/Term.dyn_hi |
-rw-r--r-- | 52832 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/Term.hi |
-rw-r--r-- | 56895 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/Term.p_hi |
-rw-r--r-- | 38435 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/Builtin/Coinduction.dyn_hi |
-rw-r--r-- | 38423 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/Builtin/Coinduction.hi |
-rw-r--r-- | 44360 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/Builtin/Coinduction.p_hi |
-rw-r--r-- | 17147 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/LHS/Implicit.dyn_hi |
-rw-r--r-- | 17135 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/LHS/Implicit.hi |
-rw-r--r-- | 16966 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/LHS/Implicit.p_hi |
-rw-r--r-- | 12165 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/LHS/Instantiate.dyn_hi |
-rw-r--r-- | 12153 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/LHS/Instantiate.hi |
-rw-r--r-- | 12183 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/LHS/Instantiate.p_hi |
-rw-r--r-- | 24937 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/LHS/Problem.dyn_hi |
-rw-r--r-- | 24925 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/LHS/Problem.hi |
-rw-r--r-- | 31316 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/LHS/Problem.p_hi |
-rw-r--r-- | 14883 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/LHS/ProblemRest.dyn_hi |
-rw-r--r-- | 14871 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/LHS/ProblemRest.hi |
-rw-r--r-- | 15126 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/LHS/ProblemRest.p_hi |
-rw-r--r-- | 18926 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/LHS/Split.dyn_hi |
-rw-r--r-- | 18914 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/LHS/Split.hi |
-rw-r--r-- | 29871 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/LHS/Split.p_hi |
-rw-r--r-- | 147813 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/LHS/Unify.dyn_hi |
-rw-r--r-- | 147801 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/LHS/Unify.hi |
-rw-r--r-- | 189157 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Rules/LHS/Unify.p_hi |
-rw-r--r-- | 92735 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Test/Generators.dyn_hi |
-rw-r--r-- | 92723 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Test/Generators.hi |
-rw-r--r-- | 102085 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/TypeChecking/Test/Generators.p_hi |
-rw-r--r-- | 2193 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Char.dyn_hi |
-rw-r--r-- | 2181 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Char.hi |
-rw-r--r-- | 2288 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Char.p_hi |
-rw-r--r-- | 6913 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Either.dyn_hi |
-rw-r--r-- | 6901 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Either.hi |
-rw-r--r-- | 7537 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Either.p_hi |
-rw-r--r-- | 13500 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/FileName.dyn_hi |
-rw-r--r-- | 13488 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/FileName.hi |
-rw-r--r-- | 14533 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/FileName.p_hi |
-rw-r--r-- | 3161 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Fresh.dyn_hi |
-rw-r--r-- | 3149 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Fresh.hi |
-rw-r--r-- | 3225 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Fresh.p_hi |
-rw-r--r-- | 1314 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Function.dyn_hi |
-rw-r--r-- | 1302 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Function.hi |
-rw-r--r-- | 1306 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Function.p_hi |
-rw-r--r-- | 12820 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Geniplate.dyn_hi |
-rw-r--r-- | 12808 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Geniplate.hi |
-rw-r--r-- | 12133 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Geniplate.p_hi |
-rw-r--r-- | 69659 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Graph.dyn_hi |
-rw-r--r-- | 69647 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Graph.hi |
-rw-r--r-- | 75754 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Graph.p_hi |
-rw-r--r-- | 1116 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Hash.dyn_hi |
-rw-r--r-- | 1104 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Hash.hi |
-rw-r--r-- | 1208 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Hash.p_hi |
-rw-r--r-- | 2337 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/HashMap.dyn_hi |
-rw-r--r-- | 2325 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/HashMap.hi |
-rw-r--r-- | 2329 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/HashMap.p_hi |
drwxr-xr-x | 4096 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/IO |
-rw-r--r-- | 6201 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Impossible.dyn_hi |
-rw-r--r-- | 6189 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Impossible.hi |
-rw-r--r-- | 6832 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Impossible.p_hi |
-rw-r--r-- | 25093 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/List.dyn_hi |
-rw-r--r-- | 25081 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/List.hi |
-rw-r--r-- | 27878 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/List.p_hi |
-rw-r--r-- | 6899 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Map.dyn_hi |
-rw-r--r-- | 6887 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Map.hi |
-rw-r--r-- | 7074 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Map.p_hi |
-rw-r--r-- | 2321 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Maybe.dyn_hi |
-rw-r--r-- | 2309 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Maybe.hi |
-rw-r--r-- | 2365 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Maybe.p_hi |
-rw-r--r-- | 16393 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Monad.dyn_hi |
-rw-r--r-- | 16381 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Monad.hi |
-rw-r--r-- | 17244 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Monad.p_hi |
-rw-r--r-- | 12783 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Permutation.dyn_hi |
-rw-r--r-- | 12771 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Permutation.hi |
-rw-r--r-- | 14693 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Permutation.p_hi |
-rw-r--r-- | 1528 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Pointed.dyn_hi |
-rw-r--r-- | 1516 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Pointed.hi |
-rw-r--r-- | 1689 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Pointed.p_hi |
-rw-r--r-- | 17243 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Pointer.dyn_hi |
-rw-r--r-- | 17231 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Pointer.hi |
-rw-r--r-- | 18310 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Pointer.p_hi |
-rw-r--r-- | 5989 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Pretty.dyn_hi |
-rw-r--r-- | 5977 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Pretty.hi |
-rw-r--r-- | 6324 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Pretty.p_hi |
-rw-r--r-- | 7948 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/QuickCheck.dyn_hi |
-rw-r--r-- | 7936 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/QuickCheck.hi |
-rw-r--r-- | 7851 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/QuickCheck.p_hi |
-rw-r--r-- | 29380 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/ReadP.dyn_hi |
-rw-r--r-- | 29368 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/ReadP.hi |
-rw-r--r-- | 42140 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/ReadP.p_hi |
-rw-r--r-- | 2047 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/SemiRing.dyn_hi |
-rw-r--r-- | 2035 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/SemiRing.hi |
-rw-r--r-- | 2091 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/SemiRing.p_hi |
-rw-r--r-- | 4275 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Size.dyn_hi |
-rw-r--r-- | 4263 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Size.hi |
-rw-r--r-- | 4299 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Size.p_hi |
-rw-r--r-- | 3856 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/String.dyn_hi |
-rw-r--r-- | 3844 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/String.hi |
-rw-r--r-- | 4059 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/String.p_hi |
-rw-r--r-- | 6187 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Suffix.dyn_hi |
-rw-r--r-- | 6175 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Suffix.hi |
-rw-r--r-- | 7362 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Suffix.p_hi |
-rw-r--r-- | 11299 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/TestHelpers.dyn_hi |
-rw-r--r-- | 11287 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/TestHelpers.hi |
-rw-r--r-- | 12329 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/TestHelpers.p_hi |
-rw-r--r-- | 1243 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Time.dyn_hi |
-rw-r--r-- | 1231 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Time.hi |
-rw-r--r-- | 1340 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Time.p_hi |
-rw-r--r-- | 15272 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Trie.dyn_hi |
-rw-r--r-- | 15260 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Trie.hi |
-rw-r--r-- | 15834 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Trie.p_hi |
-rw-r--r-- | 14639 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Tuple.dyn_hi |
-rw-r--r-- | 14627 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Tuple.hi |
-rw-r--r-- | 15606 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Tuple.p_hi |
-rw-r--r-- | 1566 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Unicode.dyn_hi |
-rw-r--r-- | 1554 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Unicode.hi |
-rw-r--r-- | 1584 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Unicode.p_hi |
-rw-r--r-- | 1682 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/VarSet.dyn_hi |
-rw-r--r-- | 1670 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/VarSet.hi |
-rw-r--r-- | 1700 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/VarSet.p_hi |
-rw-r--r-- | 76063 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Warshall.dyn_hi |
-rw-r--r-- | 76051 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Warshall.hi |
-rw-r--r-- | 79574 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/Warshall.p_hi |
-rw-r--r-- | 2119 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/IO/Binary.dyn_hi |
-rw-r--r-- | 2107 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/IO/Binary.hi |
-rw-r--r-- | 2156 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/IO/Binary.p_hi |
-rw-r--r-- | 3434 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/IO/UTF8.dyn_hi |
-rw-r--r-- | 3422 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/IO/UTF8.hi |
-rw-r--r-- | 3560 | root | root | /usr/lib/ghc-7.4.2/Agda-2.3.2.1/Agda/Utils/IO/UTF8.p_hi |
-rw-r--r-- | 11633 | root | root | /usr/lib/ghc-7.4.2/package.conf.d/Agda-2.3.2.1.conf |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/ghc-Agda-devel-2.3.2.1 |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/ghc-Agda-devel-2.3.2.1/release-notes |
-rw-r--r-- | 3021 | root | root | /usr/share/doc/ghc-Agda-devel-2.3.2.1/release-notes/2-2-0.txt |
-rw-r--r-- | 7701 | root | root | /usr/share/doc/ghc-Agda-devel-2.3.2.1/release-notes/2-2-10.txt |
-rw-r--r-- | 714 | root | root | /usr/share/doc/ghc-Agda-devel-2.3.2.1/release-notes/2-2-2.txt |
-rw-r--r-- | 1449 | root | root | /usr/share/doc/ghc-Agda-devel-2.3.2.1/release-notes/2-2-4.txt |
-rw-r--r-- | 8593 | root | root | /usr/share/doc/ghc-Agda-devel-2.3.2.1/release-notes/2-2-6.txt |
-rw-r--r-- | 18237 | root | root | /usr/share/doc/ghc-Agda-devel-2.3.2.1/release-notes/2-2-8.txt |
-rw-r--r-- | 32278 | root | root | /usr/share/doc/ghc-Agda-devel-2.3.2.1/release-notes/2-3-0.txt |
-rw-r--r-- | 451 | root | root | /usr/share/doc/ghc-Agda-devel-2.3.2.1/release-notes/2-3-2-1.txt |
-rw-r--r-- | 20358 | root | root | /usr/share/doc/ghc-Agda-devel-2.3.2.1/release-notes/2-3-2.txt |
drwxr-xr-x | 40960 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1 |
-rw-r--r-- | 2396 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Auto-Auto.html |
-rw-r--r-- | 17171 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Auto-CaseSplit.html |
-rw-r--r-- | 25660 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Auto-Convert.html |
-rw-r--r-- | 45295 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Auto-NarrowingSearch.html |
-rw-r--r-- | 15984 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Auto-SearchControl.html |
-rw-r--r-- | 37469 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Auto-Syntax.html |
-rw-r--r-- | 20061 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Auto-Typecheck.html |
-rw-r--r-- | 4762 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Compiler-CallCompiler.html |
-rw-r--r-- | 25189 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Compiler-Epic-AuxAST.html |
-rw-r--r-- | 3119 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Compiler-Epic-CaseOpts.html |
-rw-r--r-- | 30988 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Compiler-Epic-CompileState.html |
-rw-r--r-- | 2345 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Compiler-Epic-Compiler.html |
-rw-r--r-- | 3102 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Compiler-Epic-Epic.html |
-rw-r--r-- | 14758 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Compiler-Epic-Erasure.html |
-rw-r--r-- | 3740 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Compiler-Epic-ForceConstrs.html |
-rw-r--r-- | 17407 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Compiler-Epic-Forcing.html |
-rw-r--r-- | 9881 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Compiler-Epic-FromAgda.html |
-rw-r--r-- | 26717 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Compiler-Epic-Injection.html |
-rw-r--r-- | 18964 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Compiler-Epic-Interface.html |
-rw-r--r-- | 6117 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Compiler-Epic-NatDetection.html |
-rw-r--r-- | 14611 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Compiler-Epic-Primitive.html |
-rw-r--r-- | 8500 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Compiler-Epic-Smashing.html |
-rw-r--r-- | 3220 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Compiler-Epic-Static.html |
-rw-r--r-- | 10730 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Compiler-HaskellTypes.html |
-rw-r--r-- | 8476 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Compiler-JS-Case.html |
-rw-r--r-- | 14568 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Compiler-JS-Compiler.html |
-rw-r--r-- | 14965 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Compiler-JS-Parser.html |
-rw-r--r-- | 7979 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Compiler-JS-Pretty.html |
-rw-r--r-- | 7872 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Compiler-JS-Substitution.html |
-rw-r--r-- | 18846 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Compiler-JS-Syntax.html |
-rw-r--r-- | 28282 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Compiler-MAlonzo-Compiler.html |
-rw-r--r-- | 3571 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Compiler-MAlonzo-Encode.html |
-rw-r--r-- | 25925 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Compiler-MAlonzo-Misc.html |
-rw-r--r-- | 5925 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Compiler-MAlonzo-Pretty.html |
-rw-r--r-- | 13882 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Compiler-MAlonzo-Primitives.html |
-rw-r--r-- | 1415 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-ImpossibleTest.html |
-rw-r--r-- | 35850 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Interaction-BasicOps.html |
-rw-r--r-- | 20920 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Interaction-CommandLine-CommandLine.html |
-rw-r--r-- | 8714 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Interaction-EmacsCommand.html |
-rw-r--r-- | 3890 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Interaction-Exceptions.html |
-rw-r--r-- | 16617 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Interaction-FindFile.html |
-rw-r--r-- | 2334 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Interaction-GhcTop.html |
-rw-r--r-- | 5336 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Interaction-Highlighting-Dot.html |
-rw-r--r-- | 3778 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Interaction-Highlighting-Emacs.html |
-rw-r--r-- | 10540 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Interaction-Highlighting-Generate.html |
-rw-r--r-- | 2578 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Interaction-Highlighting-HTML.html |
-rw-r--r-- | 2666 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Interaction-Highlighting-LaTeX.html |
-rw-r--r-- | 35761 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Interaction-Highlighting-Precise.html |
-rw-r--r-- | 13553 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Interaction-Highlighting-Range.html |
-rw-r--r-- | 4610 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Interaction-Highlighting-Vim.html |
-rw-r--r-- | 19869 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Interaction-Imports.html |
-rw-r--r-- | 73807 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Interaction-InteractionTop.html |
-rw-r--r-- | 7696 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Interaction-MakeCase.html |
-rw-r--r-- | 3702 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Interaction-Monad.html |
-rw-r--r-- | 34850 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Interaction-Options.html |
-rw-r--r-- | 18428 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Interaction-Response.html |
-rw-r--r-- | 4754 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Main.html |
-rw-r--r-- | 1219 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Packaging-Config.html |
-rw-r--r-- | 1227 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Packaging-Database.html |
-rw-r--r-- | 1207 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Packaging-Monad.html |
-rw-r--r-- | 1215 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Packaging-Types.html |
-rw-r--r-- | 1737 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Syntax-Abstract-Copatterns.html |
-rw-r--r-- | 44366 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Syntax-Abstract-Name.html |
-rw-r--r-- | 5342 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Syntax-Abstract-Pretty.html |
-rw-r--r-- | 3839 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Syntax-Abstract-Views.html |
-rw-r--r-- | 111632 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Syntax-Abstract.html |
-rw-r--r-- | 68353 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Syntax-Common.html |
-rw-r--r-- | 31602 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Syntax-Concrete-Definitions.html |
-rw-r--r-- | 26932 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Syntax-Concrete-Name.html |
-rw-r--r-- | 25017 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Syntax-Concrete-Operators-Parser.html |
-rw-r--r-- | 14202 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Syntax-Concrete-Operators.html |
-rw-r--r-- | 5140 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Syntax-Concrete-Pretty.html |
-rw-r--r-- | 113700 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Syntax-Concrete.html |
-rw-r--r-- | 22043 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Syntax-Fixity.html |
-rw-r--r-- | 26484 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Syntax-Info.html |
-rw-r--r-- | 7732 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Syntax-Internal-Generic.html |
-rw-r--r-- | 5233 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Syntax-Internal-Pattern.html |
-rw-r--r-- | 111741 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Syntax-Internal.html |
-rw-r--r-- | 5527 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Syntax-Literal.html |
-rw-r--r-- | 11864 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Syntax-Notation.html |
-rw-r--r-- | 13791 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Syntax-Parser-Alex.html |
-rw-r--r-- | 5636 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Syntax-Parser-Comments.html |
-rw-r--r-- | 8885 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Syntax-Parser-Layout.html |
-rw-r--r-- | 15819 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Syntax-Parser-LexActions.html |
-rw-r--r-- | 10873 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Syntax-Parser-Lexer.html |
-rw-r--r-- | 11903 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Syntax-Parser-LookAhead.html |
-rw-r--r-- | 32978 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Syntax-Parser-Monad.html |
-rw-r--r-- | 4415 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Syntax-Parser-Parser.html |
-rw-r--r-- | 3121 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Syntax-Parser-StringLiterals.html |
-rw-r--r-- | 14950 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Syntax-Parser-Tokens.html |
-rw-r--r-- | 10138 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Syntax-Parser.html |
-rw-r--r-- | 73691 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Syntax-Position.html |
-rw-r--r-- | 70766 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Syntax-Scope-Base.html |
-rw-r--r-- | 37857 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Syntax-Scope-Monad.html |
-rw-r--r-- | 21918 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Syntax-Translation-AbstractToConcrete.html |
-rw-r--r-- | 32713 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Syntax-Translation-ConcreteToAbstract.html |
-rw-r--r-- | 13634 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Syntax-Translation-InternalToAbstract.html |
-rw-r--r-- | 33563 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Termination-CallGraph.html |
-rw-r--r-- | 12618 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Termination-Lexicographic.html |
-rw-r--r-- | 33703 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Termination-Matrix.html |
-rw-r--r-- | 9444 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Termination-Semiring.html |
-rw-r--r-- | 38160 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Termination-SparseMatrix.html |
-rw-r--r-- | 3631 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Termination-TermCheck.html |
-rw-r--r-- | 6953 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Termination-Termination.html |
-rw-r--r-- | 1652 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Tests.html |
-rw-r--r-- | 4521 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecker.html |
-rw-r--r-- | 5760 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Abstract.html |
-rw-r--r-- | 10044 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-CompiledClause-Compile.html |
-rw-r--r-- | 4279 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-CompiledClause-Match.html |
-rw-r--r-- | 14675 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-CompiledClause.html |
-rw-r--r-- | 14430 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Constraints.html |
-rw-r--r-- | 25487 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Conversion.html |
-rw-r--r-- | 19169 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Coverage-Match.html |
-rw-r--r-- | 14587 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Coverage-SplitTree.html |
-rw-r--r-- | 30140 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Coverage.html |
-rw-r--r-- | 8516 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Datatypes.html |
-rw-r--r-- | 4233 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-DisplayForm.html |
-rw-r--r-- | 4473 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-DropArgs.html |
-rw-r--r-- | 3353 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Eliminators.html |
-rw-r--r-- | 2311 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Empty.html |
-rw-r--r-- | 16962 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Errors.html |
-rw-r--r-- | 3061 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-EtaContract.html |
-rw-r--r-- | 2301 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Forcing.html |
-rw-r--r-- | 17004 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Free.html |
-rw-r--r-- | 6504 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Implicit.html |
-rw-r--r-- | 6958 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Injectivity.html |
-rw-r--r-- | 9824 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-InstanceArguments.html |
-rw-r--r-- | 14695 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Irrelevance.html |
-rw-r--r-- | 10489 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Level.html |
-rw-r--r-- | 2735 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-LevelConstraints.html |
-rw-r--r-- | 6747 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-MetaVars-Mention.html |
-rw-r--r-- | 30915 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-MetaVars-Occurs.html |
-rw-r--r-- | 44338 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-MetaVars.html |
-rw-r--r-- | 314096 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Monad-Base.html |
-rw-r--r-- | 76403 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Monad-Builtin.html |
-rw-r--r-- | 1669 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Monad-Closure.html |
-rw-r--r-- | 14832 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Monad-Constraints.html |
-rw-r--r-- | 25528 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Monad-Context.html |
-rw-r--r-- | 1754 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Monad-Debug.html |
-rw-r--r-- | 6305 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Monad-Env.html |
-rw-r--r-- | 9814 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Monad-Exception.html |
-rw-r--r-- | 13852 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Monad-Imports.html |
-rw-r--r-- | 30318 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Monad-MetaVars.html |
-rw-r--r-- | 6497 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Monad-Mutual.html |
-rw-r--r-- | 4048 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Monad-Open.html |
-rw-r--r-- | 31231 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Monad-Options.html |
-rw-r--r-- | 3980 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Monad-Sharing.html |
-rw-r--r-- | 46218 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Monad-Signature.html |
-rw-r--r-- | 28445 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Monad-SizedTypes.html |
-rw-r--r-- | 17262 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Monad-State.html |
-rw-r--r-- | 3062 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Monad-Statistics.html |
-rw-r--r-- | 7868 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Monad-Trace.html |
-rw-r--r-- | 3460 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Monad.html |
-rw-r--r-- | 5563 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Patterns-Match.html |
-rw-r--r-- | 20875 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Polarity.html |
-rw-r--r-- | 32214 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Positivity.html |
-rw-r--r-- | 32913 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Pretty.html |
-rw-r--r-- | 54771 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Primitive.html |
-rw-r--r-- | 2259 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-ProjectionLike.html |
-rw-r--r-- | 8634 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Quote.html |
-rw-r--r-- | 2259 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Rebind.html |
-rw-r--r-- | 5861 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-RecordPatterns.html |
-rw-r--r-- | 26734 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Records.html |
-rw-r--r-- | 41408 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Reduce.html |
-rw-r--r-- | 5680 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Rules-Builtin-Coinduction.html |
-rw-r--r-- | 4185 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Rules-Builtin.html |
-rw-r--r-- | 8409 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Rules-Data.html |
-rw-r--r-- | 15081 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Rules-Decl.html |
-rw-r--r-- | 17485 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Rules-Def.html |
-rw-r--r-- | 3562 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Rules-LHS-Implicit.html |
-rw-r--r-- | 3717 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Rules-LHS-Instantiate.html |
-rw-r--r-- | 22607 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Rules-LHS-Problem.html |
-rw-r--r-- | 6935 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Rules-LHS-ProblemRest.html |
-rw-r--r-- | 6705 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Rules-LHS-Split.html |
-rw-r--r-- | 67869 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Rules-LHS-Unify.html |
-rw-r--r-- | 14288 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Rules-LHS.html |
-rw-r--r-- | 5780 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Rules-Record.html |
-rw-r--r-- | 35010 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Rules-Term.html |
-rw-r--r-- | 28343 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Serialise.html |
-rw-r--r-- | 25755 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-SizedTypes.html |
-rw-r--r-- | 52080 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Substitute.html |
-rw-r--r-- | 14458 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Telescope.html |
-rw-r--r-- | 54103 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Test-Generators.html |
-rw-r--r-- | 7401 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-Tests.html |
-rw-r--r-- | 2216 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-UniversePolymorphism.html |
-rw-r--r-- | 9277 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-TypeChecking-With.html |
-rw-r--r-- | 2225 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Utils-Char.html |
-rw-r--r-- | 7547 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Utils-Either.html |
-rw-r--r-- | 11151 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Utils-FileName.html |
-rw-r--r-- | 4896 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Utils-Fresh.html |
-rw-r--r-- | 2185 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Utils-Function.html |
-rw-r--r-- | 6132 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Utils-Geniplate.html |
-rw-r--r-- | 25826 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Utils-Graph.html |
-rw-r--r-- | 1554 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Utils-Hash.html |
-rw-r--r-- | 1207 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Utils-HashMap.html |
-rw-r--r-- | 2856 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Utils-IO-Binary.html |
-rw-r--r-- | 4803 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Utils-IO-UTF8.html |
-rw-r--r-- | 5166 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Utils-Impossible.html |
-rw-r--r-- | 23123 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Utils-List.html |
-rw-r--r-- | 7835 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Utils-Map.html |
-rw-r--r-- | 2198 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Utils-Maybe.html |
-rw-r--r-- | 23524 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Utils-Monad.html |
-rw-r--r-- | 12669 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Utils-Permutation.html |
-rw-r--r-- | 2725 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Utils-Pointed.html |
-rw-r--r-- | 7407 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Utils-Pointer.html |
-rw-r--r-- | 15166 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Utils-Pretty.html |
-rw-r--r-- | 2853 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Utils-QuickCheck.html |
-rw-r--r-- | 26710 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Utils-ReadP.html |
-rw-r--r-- | 4425 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Utils-SemiRing.html |
-rw-r--r-- | 5327 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Utils-Size.html |
-rw-r--r-- | 5531 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Utils-String.html |
-rw-r--r-- | 7168 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Utils-Suffix.html |
-rw-r--r-- | 17823 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Utils-TestHelpers.html |
-rw-r--r-- | 2629 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Utils-Time.html |
-rw-r--r-- | 4902 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Utils-Trie.html |
-rw-r--r-- | 8342 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Utils-Tuple.html |
-rw-r--r-- | 2810 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Utils-Unicode.html |
-rw-r--r-- | 9048 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Utils-VarSet.html |
-rw-r--r-- | 44026 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Utils-Warshall.html |
-rw-r--r-- | 1840 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda-Version.html |
-rw-r--r-- | 1167151 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda.haddock |
-rw-r--r-- | 462837 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/Agda.txt |
-rw-r--r-- | 3046 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/doc-index-124.html |
-rw-r--r-- | 3204 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/doc-index-33.html |
-rw-r--r-- | 3459 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/doc-index-36.html |
-rw-r--r-- | 2898 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/doc-index-38.html |
-rw-r--r-- | 3222 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/doc-index-43.html |
-rw-r--r-- | 3011 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/doc-index-45.html |
-rw-r--r-- | 3681 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/doc-index-46.html |
-rw-r--r-- | 3063 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/doc-index-47.html |
-rw-r--r-- | 3034 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/doc-index-58.html |
-rw-r--r-- | 4145 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/doc-index-60.html |
-rw-r--r-- | 2949 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/doc-index-61.html |
-rw-r--r-- | 3345 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/doc-index-62.html |
-rw-r--r-- | 41138 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/doc-index-A.html |
-rw-r--r-- | 825780 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/doc-index-All.html |
-rw-r--r-- | 34036 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/doc-index-B.html |
-rw-r--r-- | 82886 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/doc-index-C.html |
-rw-r--r-- | 42026 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/doc-index-D.html |
-rw-r--r-- | 36857 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/doc-index-E.html |
-rw-r--r-- | 36928 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/doc-index-F.html |
-rw-r--r-- | 32835 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/doc-index-G.html |
-rw-r--r-- | 18259 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/doc-index-H.html |
-rw-r--r-- | 60307 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/doc-index-I.html |
-rw-r--r-- | 5075 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/doc-index-J.html |
-rw-r--r-- | 13289 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/doc-index-K.html |
-rw-r--r-- | 37878 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/doc-index-L.html |
-rw-r--r-- | 54402 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/doc-index-M.html |
-rw-r--r-- | 43810 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/doc-index-N.html |
-rw-r--r-- | 26795 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/doc-index-O.html |
-rw-r--r-- | 69737 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/doc-index-P.html |
-rw-r--r-- | 10616 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/doc-index-Q.html |
-rw-r--r-- | 44223 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/doc-index-R.html |
-rw-r--r-- | 76813 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/doc-index-S.html |
-rw-r--r-- | 48844 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/doc-index-T.html |
-rw-r--r-- | 32438 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/doc-index-U.html |
-rw-r--r-- | 9333 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/doc-index-V.html |
-rw-r--r-- | 19201 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/doc-index-W.html |
-rw-r--r-- | 3171 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/doc-index-X.html |
-rw-r--r-- | 4378 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/doc-index-Y.html |
-rw-r--r-- | 4442 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/doc-index-Z.html |
-rw-r--r-- | 2665 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/doc-index.html |
-rw-r--r-- | 860 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/frames.html |
-rw-r--r-- | 8189 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/haddock-util.js |
-rw-r--r-- | 1684 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/hslogo-16.png |
-rw-r--r-- | 24870 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/index-frames.html |
-rw-r--r-- | 30819 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/index.html |
-rw-r--r-- | 734 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Auto-Auto.html |
-rw-r--r-- | 5020 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Auto-CaseSplit.html |
-rw-r--r-- | 5759 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Auto-Convert.html |
-rw-r--r-- | 8767 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Auto-NarrowingSearch.html |
-rw-r--r-- | 6199 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Auto-SearchControl.html |
-rw-r--r-- | 6893 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Auto-Syntax.html |
-rw-r--r-- | 4955 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Auto-Typecheck.html |
-rw-r--r-- | 920 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Compiler-CallCompiler.html |
-rw-r--r-- | 2638 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Compiler-Epic-AuxAST.html |
-rw-r--r-- | 911 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Compiler-Epic-CaseOpts.html |
-rw-r--r-- | 4976 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Compiler-Epic-CompileState.html |
-rw-r--r-- | 789 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Compiler-Epic-Compiler.html |
-rw-r--r-- | 901 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Compiler-Epic-Epic.html |
-rw-r--r-- | 2431 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Compiler-Epic-Erasure.html |
-rw-r--r-- | 1065 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Compiler-Epic-ForceConstrs.html |
-rw-r--r-- | 2281 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Compiler-Epic-Forcing.html |
-rw-r--r-- | 1425 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Compiler-Epic-FromAgda.html |
-rw-r--r-- | 4023 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Compiler-Epic-Injection.html |
-rw-r--r-- | 2306 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Compiler-Epic-Interface.html |
-rw-r--r-- | 1287 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Compiler-Epic-NatDetection.html |
-rw-r--r-- | 2954 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Compiler-Epic-Primitive.html |
-rw-r--r-- | 1537 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Compiler-Epic-Smashing.html |
-rw-r--r-- | 1163 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Compiler-Epic-Static.html |
-rw-r--r-- | 2535 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Compiler-HaskellTypes.html |
-rw-r--r-- | 2188 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Compiler-JS-Case.html |
-rw-r--r-- | 4868 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Compiler-JS-Compiler.html |
-rw-r--r-- | 4610 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Compiler-JS-Parser.html |
-rw-r--r-- | 1762 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Compiler-JS-Pretty.html |
-rw-r--r-- | 2835 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Compiler-JS-Substitution.html |
-rw-r--r-- | 1849 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Compiler-JS-Syntax.html |
-rw-r--r-- | 4589 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Compiler-MAlonzo-Compiler.html |
-rw-r--r-- | 917 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Compiler-MAlonzo-Encode.html |
-rw-r--r-- | 5377 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Compiler-MAlonzo-Misc.html |
-rw-r--r-- | 941 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Compiler-MAlonzo-Pretty.html |
-rw-r--r-- | 3384 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Compiler-MAlonzo-Primitives.html |
-rw-r--r-- | 769 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-ImpossibleTest.html |
-rw-r--r-- | 4655 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Interaction-BasicOps.html |
-rw-r--r-- | 3944 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Interaction-CommandLine-CommandLine.html |
-rw-r--r-- | 1490 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Interaction-EmacsCommand.html |
-rw-r--r-- | 941 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Interaction-Exceptions.html |
-rw-r--r-- | 2554 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Interaction-FindFile.html |
-rw-r--r-- | 771 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Interaction-GhcTop.html |
-rw-r--r-- | 1659 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Interaction-Highlighting-Dot.html |
-rw-r--r-- | 959 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Interaction-Highlighting-Emacs.html |
-rw-r--r-- | 1906 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Interaction-Highlighting-Generate.html |
-rw-r--r-- | 810 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Interaction-Highlighting-HTML.html |
-rw-r--r-- | 815 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Interaction-Highlighting-LaTeX.html |
-rw-r--r-- | 3626 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Interaction-Highlighting-Precise.html |
-rw-r--r-- | 2205 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Interaction-Highlighting-Range.html |
-rw-r--r-- | 1559 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Interaction-Highlighting-Vim.html |
-rw-r--r-- | 2363 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Interaction-Imports.html |
-rw-r--r-- | 6867 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Interaction-InteractionTop.html |
-rw-r--r-- | 1466 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Interaction-MakeCase.html |
-rw-r--r-- | 1017 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Interaction-Monad.html |
-rw-r--r-- | 3164 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Interaction-Options.html |
-rw-r--r-- | 1638 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Interaction-Response.html |
-rw-r--r-- | 1151 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Main.html |
-rw-r--r-- | 647 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Packaging-Config.html |
-rw-r--r-- | 651 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Packaging-Database.html |
-rw-r--r-- | 645 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Packaging-Monad.html |
-rw-r--r-- | 645 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Packaging-Types.html |
-rw-r--r-- | 827 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Syntax-Abstract-Copatterns.html |
-rw-r--r-- | 4731 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Syntax-Abstract-Name.html |
-rw-r--r-- | 1143 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Syntax-Abstract-Pretty.html |
-rw-r--r-- | 1168 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Syntax-Abstract-Views.html |
-rw-r--r-- | 6322 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Syntax-Abstract.html |
-rw-r--r-- | 4979 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Syntax-Common.html |
-rw-r--r-- | 2118 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Syntax-Concrete-Definitions.html |
-rw-r--r-- | 3389 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Syntax-Concrete-Name.html |
-rw-r--r-- | 3509 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Syntax-Concrete-Operators-Parser.html |
-rw-r--r-- | 2687 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Syntax-Concrete-Operators.html |
-rw-r--r-- | 2016 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Syntax-Concrete-Pretty.html |
-rw-r--r-- | 5880 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Syntax-Concrete.html |
-rw-r--r-- | 2987 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Syntax-Fixity.html |
-rw-r--r-- | 2323 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Syntax-Info.html |
-rw-r--r-- | 944 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Syntax-Internal-Generic.html |
-rw-r--r-- | 1396 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Syntax-Internal-Pattern.html |
-rw-r--r-- | 6769 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Syntax-Internal.html |
-rw-r--r-- | 790 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Syntax-Literal.html |
-rw-r--r-- | 2176 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Syntax-Notation.html |
-rw-r--r-- | 2671 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Syntax-Parser-Alex.html |
-rw-r--r-- | 1291 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Syntax-Parser-Comments.html |
-rw-r--r-- | 1413 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Syntax-Parser-Layout.html |
-rw-r--r-- | 3128 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Syntax-Parser-LexActions.html |
-rw-r--r-- | 1946 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Syntax-Parser-Lexer.html |
-rw-r--r-- | 2094 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Syntax-Parser-LookAhead.html |
-rw-r--r-- | 4393 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Syntax-Parser-Monad.html |
-rw-r--r-- | 1149 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Syntax-Parser-Parser.html |
-rw-r--r-- | 927 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Syntax-Parser-StringLiterals.html |
-rw-r--r-- | 1240 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Syntax-Parser-Tokens.html |
-rw-r--r-- | 1851 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Syntax-Parser.html |
-rw-r--r-- | 5543 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Syntax-Position.html |
-rw-r--r-- | 8717 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Syntax-Scope-Base.html |
-rw-r--r-- | 6307 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Syntax-Scope-Monad.html |
-rw-r--r-- | 2754 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Syntax-Translation-AbstractToConcrete.html |
-rw-r--r-- | 4141 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Syntax-Translation-ConcreteToAbstract.html |
-rw-r--r-- | 1362 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Syntax-Translation-InternalToAbstract.html |
-rw-r--r-- | 4324 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Termination-CallGraph.html |
-rw-r--r-- | 1694 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Termination-Lexicographic.html |
-rw-r--r-- | 3381 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Termination-Matrix.html |
-rw-r--r-- | 1637 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Termination-Semiring.html |
-rw-r--r-- | 3787 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Termination-SparseMatrix.html |
-rw-r--r-- | 1092 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Termination-TermCheck.html |
-rw-r--r-- | 1044 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Termination-Termination.html |
-rw-r--r-- | 732 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Tests.html |
-rw-r--r-- | 1091 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecker.html |
-rw-r--r-- | 956 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Abstract.html |
-rw-r--r-- | 2129 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-CompiledClause-Compile.html |
-rw-r--r-- | 1396 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-CompiledClause-Match.html |
-rw-r--r-- | 1849 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-CompiledClause.html |
-rw-r--r-- | 2750 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Constraints.html |
-rw-r--r-- | 3887 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Conversion.html |
-rw-r--r-- | 2919 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Coverage-Match.html |
-rw-r--r-- | 2228 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Coverage-SplitTree.html |
-rw-r--r-- | 3255 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Coverage.html |
-rw-r--r-- | 1660 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Datatypes.html |
-rw-r--r-- | 1088 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-DisplayForm.html |
-rw-r--r-- | 888 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-DropArgs.html |
-rw-r--r-- | 946 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Eliminators.html |
-rw-r--r-- | 775 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Empty.html |
-rw-r--r-- | 1348 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Errors.html |
-rw-r--r-- | 1206 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-EtaContract.html |
-rw-r--r-- | 1049 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Forcing.html |
-rw-r--r-- | 2492 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Free.html |
-rw-r--r-- | 1216 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Implicit.html |
-rw-r--r-- | 1490 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Injectivity.html |
-rw-r--r-- | 2022 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-InstanceArguments.html |
-rw-r--r-- | 3221 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Irrelevance.html |
-rw-r--r-- | 1940 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Level.html |
-rw-r--r-- | 832 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-LevelConstraints.html |
-rw-r--r-- | 847 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-MetaVars-Mention.html |
-rw-r--r-- | 4343 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-MetaVars-Occurs.html |
-rw-r--r-- | 7090 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-MetaVars.html |
-rw-r--r-- | 19562 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Monad-Base.html |
-rw-r--r-- | 21557 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Monad-Builtin.html |
-rw-r--r-- | 801 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Monad-Closure.html |
-rw-r--r-- | 3364 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Monad-Constraints.html |
-rw-r--r-- | 4673 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Monad-Context.html |
-rw-r--r-- | 781 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Monad-Debug.html |
-rw-r--r-- | 1629 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Monad-Env.html |
-rw-r--r-- | 1026 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Monad-Exception.html |
-rw-r--r-- | 3035 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Monad-Imports.html |
-rw-r--r-- | 6048 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Monad-MetaVars.html |
-rw-r--r-- | 1652 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Monad-Mutual.html |
-rw-r--r-- | 1153 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Monad-Open.html |
-rw-r--r-- | 6033 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Monad-Options.html |
-rw-r--r-- | 1395 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Monad-Sharing.html |
-rw-r--r-- | 8295 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Monad-Signature.html |
-rw-r--r-- | 5149 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Monad-SizedTypes.html |
-rw-r--r-- | 3375 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Monad-State.html |
-rw-r--r-- | 1183 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Monad-Statistics.html |
-rw-r--r-- | 1740 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Monad-Trace.html |
-rw-r--r-- | 651 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Monad.html |
-rw-r--r-- | 1097 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Patterns-Match.html |
-rw-r--r-- | 3428 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Polarity.html |
-rw-r--r-- | 3795 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Positivity.html |
-rw-r--r-- | 3970 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Pretty.html |
-rw-r--r-- | 7398 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Primitive.html |
-rw-r--r-- | 808 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-ProjectionLike.html |
-rw-r--r-- | 2264 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Quote.html |
-rw-r--r-- | 780 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Rebind.html |
-rw-r--r-- | 1295 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-RecordPatterns.html |
-rw-r--r-- | 4259 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Records.html |
-rw-r--r-- | 2627 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Reduce.html |
-rw-r--r-- | 1573 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Rules-Builtin-Coinduction.html |
-rw-r--r-- | 945 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Rules-Builtin.html |
-rw-r--r-- | 1464 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Rules-Data.html |
-rw-r--r-- | 2286 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Rules-Decl.html |
-rw-r--r-- | 2658 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Rules-Def.html |
-rw-r--r-- | 993 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Rules-LHS-Implicit.html |
-rw-r--r-- | 985 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Rules-LHS-Instantiate.html |
-rw-r--r-- | 2705 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Rules-LHS-Problem.html |
-rw-r--r-- | 1585 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Rules-LHS-ProblemRest.html |
-rw-r--r-- | 1359 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Rules-LHS-Split.html |
-rw-r--r-- | 8831 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Rules-LHS-Unify.html |
-rw-r--r-- | 2061 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Rules-LHS.html |
-rw-r--r-- | 966 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Rules-Record.html |
-rw-r--r-- | 4990 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Rules-Term.html |
-rw-r--r-- | 1302 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Serialise.html |
-rw-r--r-- | 4001 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-SizedTypes.html |
-rw-r--r-- | 6331 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Substitute.html |
-rw-r--r-- | 2705 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Telescope.html |
-rw-r--r-- | 5716 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Test-Generators.html |
-rw-r--r-- | 1809 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-Tests.html |
-rw-r--r-- | 973 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-UniversePolymorphism.html |
-rw-r--r-- | 1433 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-TypeChecking-With.html |
-rw-r--r-- | 965 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Utils-Char.html |
-rw-r--r-- | 1411 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Utils-Either.html |
-rw-r--r-- | 1519 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Utils-FileName.html |
-rw-r--r-- | 1005 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Utils-Fresh.html |
-rw-r--r-- | 760 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Utils-Function.html |
-rw-r--r-- | 1062 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Utils-Geniplate.html |
-rw-r--r-- | 3667 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Utils-Graph.html |
-rw-r--r-- | 737 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Utils-Hash.html |
-rw-r--r-- | 641 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Utils-HashMap.html |
-rw-r--r-- | 777 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Utils-IO-Binary.html |
-rw-r--r-- | 988 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Utils-IO-UTF8.html |
-rw-r--r-- | 1062 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Utils-Impossible.html |
-rw-r--r-- | 4398 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Utils-List.html |
-rw-r--r-- | 1343 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Utils-Map.html |
-rw-r--r-- | 867 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Utils-Maybe.html |
-rw-r--r-- | 3385 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Utils-Monad.html |
-rw-r--r-- | 1949 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Utils-Permutation.html |
-rw-r--r-- | 789 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Utils-Pointed.html |
-rw-r--r-- | 1343 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Utils-Pointer.html |
-rw-r--r-- | 1216 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Utils-Pretty.html |
-rw-r--r-- | 1023 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Utils-QuickCheck.html |
-rw-r--r-- | 4394 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Utils-ReadP.html |
-rw-r--r-- | 794 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Utils-SemiRing.html |
-rw-r--r-- | 776 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Utils-Size.html |
-rw-r--r-- | 1093 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Utils-String.html |
-rw-r--r-- | 1516 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Utils-Suffix.html |
-rw-r--r-- | 2538 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Utils-TestHelpers.html |
-rw-r--r-- | 900 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Utils-Time.html |
-rw-r--r-- | 1315 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Utils-Trie.html |
-rw-r--r-- | 2115 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Utils-Tuple.html |
-rw-r--r-- | 893 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Utils-Unicode.html |
-rw-r--r-- | 1880 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Utils-VarSet.html |
-rw-r--r-- | 6684 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Utils-Warshall.html |
-rw-r--r-- | 734 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/mini_Agda-Version.html |
-rw-r--r-- | 56 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/minus.gif |
-rw-r--r-- | 8172 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/ocean.css |
-rw-r--r-- | 59 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/plus.gif |
drwxr-xr-x | 20480 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src |
-rw-r--r-- | 11327 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/synopsis.png |
-rw-r--r-- | 151717 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Auto-Auto.html |
-rw-r--r-- | 189213 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Auto-CaseSplit.html |
-rw-r--r-- | 262664 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Auto-Convert.html |
-rw-r--r-- | 146321 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Auto-NarrowingSearch.html |
-rw-r--r-- | 101953 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Auto-SearchControl.html |
-rw-r--r-- | 73116 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Auto-Syntax.html |
-rw-r--r-- | 254625 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Auto-Typecheck.html |
-rw-r--r-- | 12302 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Compiler-CallCompiler.html |
-rw-r--r-- | 43232 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Compiler-Epic-AuxAST.html |
-rw-r--r-- | 12467 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Compiler-Epic-CaseOpts.html |
-rw-r--r-- | 53563 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Compiler-Epic-CompileState.html |
-rw-r--r-- | 65941 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Compiler-Epic-Compiler.html |
-rw-r--r-- | 24592 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Compiler-Epic-Epic.html |
-rw-r--r-- | 60653 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Compiler-Epic-Erasure.html |
-rw-r--r-- | 18296 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Compiler-Epic-ForceConstrs.html |
-rw-r--r-- | 84861 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Compiler-Epic-Forcing.html |
-rw-r--r-- | 72720 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Compiler-Epic-FromAgda.html |
-rw-r--r-- | 96814 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Compiler-Epic-Injection.html |
-rw-r--r-- | 17974 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Compiler-Epic-Interface.html |
-rw-r--r-- | 19383 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Compiler-Epic-NatDetection.html |
-rw-r--r-- | 51318 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Compiler-Epic-Primitive.html |
-rw-r--r-- | 36295 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Compiler-Epic-Smashing.html |
-rw-r--r-- | 26437 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Compiler-Epic-Static.html |
-rw-r--r-- | 29151 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Compiler-HaskellTypes.html |
-rw-r--r-- | 31336 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Compiler-JS-Case.html |
-rw-r--r-- | 127249 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Compiler-JS-Compiler.html |
-rw-r--r-- | 46905 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Compiler-JS-Parser.html |
-rw-r--r-- | 39730 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Compiler-JS-Pretty.html |
-rw-r--r-- | 42554 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Compiler-JS-Substitution.html |
-rw-r--r-- | 23697 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Compiler-JS-Syntax.html |
-rw-r--r-- | 143423 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Compiler-MAlonzo-Compiler.html |
-rw-r--r-- | 22424 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Compiler-MAlonzo-Encode.html |
-rw-r--r-- | 40815 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Compiler-MAlonzo-Misc.html |
-rw-r--r-- | 8419 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Compiler-MAlonzo-Pretty.html |
-rw-r--r-- | 69878 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Compiler-MAlonzo-Primitives.html |
-rw-r--r-- | 1219 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-ImpossibleTest.html |
-rw-r--r-- | 152202 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Interaction-BasicOps.html |
-rw-r--r-- | 65923 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Interaction-CommandLine-CommandLine.html |
-rw-r--r-- | 13807 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Interaction-EmacsCommand.html |
-rw-r--r-- | 4802 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Interaction-Exceptions.html |
-rw-r--r-- | 29878 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Interaction-FindFile.html |
-rw-r--r-- | 29111 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Interaction-GhcTop.html |
-rw-r--r-- | 19363 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Interaction-Highlighting-Dot.html |
-rw-r--r-- | 25109 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Interaction-Highlighting-Emacs.html |
-rw-r--r-- | 149744 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Interaction-Highlighting-Generate.html |
-rw-r--r-- | 36029 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Interaction-Highlighting-HTML.html |
-rw-r--r-- | 85056 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Interaction-Highlighting-LaTeX.html |
-rw-r--r-- | 93543 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Interaction-Highlighting-Precise.html |
-rw-r--r-- | 28064 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Interaction-Highlighting-Range.html |
-rw-r--r-- | 23126 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Interaction-Highlighting-Vim.html |
-rw-r--r-- | 117496 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Interaction-Imports.html |
-rw-r--r-- | 218003 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Interaction-InteractionTop.html |
-rw-r--r-- | 41321 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Interaction-MakeCase.html |
-rw-r--r-- | 4783 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Interaction-Monad.html |
-rw-r--r-- | 114778 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Interaction-Options.html |
-rw-r--r-- | 14797 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Interaction-Response.html |
-rw-r--r-- | 35149 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Main.html |
-rw-r--r-- | 1787 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Packaging-Config.html |
-rw-r--r-- | 13378 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Packaging-Database.html |
-rw-r--r-- | 2351 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Packaging-Monad.html |
-rw-r--r-- | 1524 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Packaging-Types.html |
-rw-r--r-- | 103995 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Syntax-Abstract-Copatterns.html |
-rw-r--r-- | 60116 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Syntax-Abstract-Name.html |
-rw-r--r-- | 6453 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Syntax-Abstract-Pretty.html |
-rw-r--r-- | 7272 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Syntax-Abstract-Views.html |
-rw-r--r-- | 200591 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Syntax-Abstract.html |
-rw-r--r-- | 56494 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Syntax-Common.html |
-rw-r--r-- | 229065 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Syntax-Concrete-Definitions.html |
-rw-r--r-- | 44496 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Syntax-Concrete-Name.html |
-rw-r--r-- | 51044 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Syntax-Concrete-Operators-Parser.html |
-rw-r--r-- | 150598 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Syntax-Concrete-Operators.html |
-rw-r--r-- | 121167 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Syntax-Concrete-Pretty.html |
-rw-r--r-- | 165983 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Syntax-Concrete.html |
-rw-r--r-- | 30305 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Syntax-Fixity.html |
-rw-r--r-- | 34169 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Syntax-Info.html |
-rw-r--r-- | 39408 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Syntax-Internal-Generic.html |
-rw-r--r-- | 12622 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Syntax-Internal-Pattern.html |
-rw-r--r-- | 96584 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Syntax-Internal.html |
-rw-r--r-- | 18873 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Syntax-Literal.html |
-rw-r--r-- | 20990 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Syntax-Notation.html |
-rw-r--r-- | 19279 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Syntax-Parser-Alex.html |
-rw-r--r-- | 14366 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Syntax-Parser-Comments.html |
-rw-r--r-- | 18171 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Syntax-Parser-Layout.html |
-rw-r--r-- | 46988 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Syntax-Parser-LexActions.html |
-rw-r--r-- | 913032 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Syntax-Parser-Lexer.html |
-rw-r--r-- | 20170 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Syntax-Parser-LookAhead.html |
-rw-r--r-- | 53374 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Syntax-Parser-Monad.html |
-rw-r--r-- | 1317945 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Syntax-Parser-Parser.html |
-rw-r--r-- | 38049 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Syntax-Parser-StringLiterals.html |
-rw-r--r-- | 18085 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Syntax-Parser-Tokens.html |
-rw-r--r-- | 21445 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Syntax-Parser.html |
-rw-r--r-- | 110175 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Syntax-Position.html |
-rw-r--r-- | 159118 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Syntax-Scope-Base.html |
-rw-r--r-- | 107757 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Syntax-Scope-Monad.html |
-rw-r--r-- | 246620 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Syntax-Translation-AbstractToConcrete.html |
-rw-r--r-- | 361779 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Syntax-Translation-ConcreteToAbstract.html |
-rw-r--r-- | 189536 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Syntax-Translation-InternalToAbstract.html |
-rw-r--r-- | 122137 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Termination-CallGraph.html |
-rw-r--r-- | 52171 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Termination-Lexicographic.html |
-rw-r--r-- | 77926 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Termination-Matrix.html |
-rw-r--r-- | 16447 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Termination-Semiring.html |
-rw-r--r-- | 112702 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Termination-SparseMatrix.html |
-rw-r--r-- | 205574 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Termination-TermCheck.html |
-rw-r--r-- | 52980 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Termination-Termination.html |
-rw-r--r-- | 14239 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Tests.html |
-rw-r--r-- | 3643 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecker.html |
-rw-r--r-- | 22938 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Abstract.html |
-rw-r--r-- | 46598 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-CompiledClause-Compile.html |
-rw-r--r-- | 28933 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-CompiledClause-Match.html |
-rw-r--r-- | 21517 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-CompiledClause.html |
-rw-r--r-- | 47191 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Constraints.html |
-rw-r--r-- | 240955 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Conversion.html |
-rw-r--r-- | 40620 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Coverage-Match.html |
-rw-r--r-- | 20126 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Coverage-SplitTree.html |
-rw-r--r-- | 135044 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Coverage.html |
-rw-r--r-- | 19507 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Datatypes.html |
-rw-r--r-- | 28100 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-DisplayForm.html |
-rw-r--r-- | 14270 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-DropArgs.html |
-rw-r--r-- | 15107 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Eliminators.html |
-rw-r--r-- | 10950 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Empty.html |
-rw-r--r-- | 197323 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Errors.html |
-rw-r--r-- | 16551 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-EtaContract.html |
-rw-r--r-- | 17512 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Forcing.html |
-rw-r--r-- | 57019 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Free.html |
-rw-r--r-- | 20972 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Implicit.html |
-rw-r--r-- | 63701 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Injectivity.html |
-rw-r--r-- | 56073 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-InstanceArguments.html |
-rw-r--r-- | 30238 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Irrelevance.html |
-rw-r--r-- | 32689 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Level.html |
-rw-r--r-- | 11669 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-LevelConstraints.html |
-rw-r--r-- | 27977 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-MetaVars-Mention.html |
-rw-r--r-- | 128004 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-MetaVars-Occurs.html |
-rw-r--r-- | 167506 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-MetaVars.html |
-rw-r--r-- | 284793 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Monad-Base.html |
-rw-r--r-- | 55086 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Monad-Builtin.html |
-rw-r--r-- | 3586 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Monad-Closure.html |
-rw-r--r-- | 36491 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Monad-Constraints.html |
-rw-r--r-- | 52912 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Monad-Context.html |
-rw-r--r-- | 1874 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Monad-Debug.html |
-rw-r--r-- | 9505 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Monad-Env.html |
-rw-r--r-- | 22337 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Monad-Exception.html |
-rw-r--r-- | 21907 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Monad-Imports.html |
-rw-r--r-- | 54201 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Monad-MetaVars.html |
-rw-r--r-- | 14471 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Monad-Mutual.html |
-rw-r--r-- | 8862 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Monad-Open.html |
-rw-r--r-- | 57600 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Monad-Options.html |
-rw-r--r-- | 14503 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Monad-Sharing.html |
-rw-r--r-- | 145477 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Monad-Signature.html |
-rw-r--r-- | 49578 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Monad-SizedTypes.html |
-rw-r--r-- | 25538 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Monad-State.html |
-rw-r--r-- | 6933 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Monad-Statistics.html |
-rw-r--r-- | 26311 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Monad-Trace.html |
-rw-r--r-- | 11662 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Monad.html |
-rw-r--r-- | 27216 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Patterns-Match.html |
-rw-r--r-- | 79615 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Polarity.html |
-rw-r--r-- | 160510 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Positivity.html |
-rw-r--r-- | 60035 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Pretty.html |
-rw-r--r-- | 151020 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Primitive.html |
-rw-r--r-- | 35825 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-ProjectionLike.html |
-rw-r--r-- | 63773 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Quote.html |
-rw-r--r-- | 2979 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Rebind.html |
-rw-r--r-- | 147820 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-RecordPatterns.html |
-rw-r--r-- | 69333 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Records.html |
-rw-r--r-- | 228583 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Reduce.html |
-rw-r--r-- | 31941 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Rules-Builtin-Coinduction.html |
-rw-r--r-- | 108671 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Rules-Builtin.html |
-rw-r--r-- | 74831 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Rules-Data.html |
-rw-r--r-- | 123464 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Rules-Decl.html |
-rw-r--r-- | 156999 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Rules-Def.html |
-rw-r--r-- | 20461 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Rules-LHS-Implicit.html |
-rw-r--r-- | 34679 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Rules-LHS-Instantiate.html |
-rw-r--r-- | 27672 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Rules-LHS-Problem.html |
-rw-r--r-- | 31236 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Rules-LHS-ProblemRest.html |
-rw-r--r-- | 69662 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Rules-LHS-Split.html |
-rw-r--r-- | 209383 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Rules-LHS-Unify.html |
-rw-r--r-- | 161081 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Rules-LHS.html |
-rw-r--r-- | 70647 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Rules-Record.html |
-rw-r--r-- | 322163 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Rules-Term.html |
-rw-r--r-- | 384980 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Serialise.html |
-rw-r--r-- | 123358 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-SizedTypes.html |
-rw-r--r-- | 234265 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Substitute.html |
-rw-r--r-- | 33944 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Telescope.html |
-rw-r--r-- | 129691 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Test-Generators.html |
-rw-r--r-- | 18898 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-Tests.html |
-rw-r--r-- | 5601 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-UniversePolymorphism.html |
-rw-r--r-- | 81095 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-TypeChecking-With.html |
-rw-r--r-- | 2838 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Utils-Char.html |
-rw-r--r-- | 13961 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Utils-Either.html |
-rw-r--r-- | 19723 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Utils-FileName.html |
-rw-r--r-- | 4705 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Utils-Fresh.html |
-rw-r--r-- | 2816 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Utils-Function.html |
-rw-r--r-- | 7968 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Utils-Geniplate.html |
-rw-r--r-- | 77636 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Utils-Graph.html |
-rw-r--r-- | 2279 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Utils-Hash.html |
-rw-r--r-- | 1190 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Utils-HashMap.html |
-rw-r--r-- | 2961 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Utils-IO-Binary.html |
-rw-r--r-- | 7199 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Utils-IO-UTF8.html |
-rw-r--r-- | 5596 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Utils-Impossible.html |
-rw-r--r-- | 59052 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Utils-List.html |
-rw-r--r-- | 14456 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Utils-Map.html |
-rw-r--r-- | 4114 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Utils-Maybe.html |
-rw-r--r-- | 41302 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Utils-Monad.html |
-rw-r--r-- | 30398 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Utils-Permutation.html |
-rw-r--r-- | 2352 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Utils-Pointed.html |
-rw-r--r-- | 15626 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Utils-Pointer.html |
-rw-r--r-- | 7440 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Utils-Pretty.html |
-rw-r--r-- | 4031 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Utils-QuickCheck.html |
-rw-r--r-- | 96137 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Utils-ReadP.html |
-rw-r--r-- | 3825 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Utils-SemiRing.html |
-rw-r--r-- | 5180 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Utils-Size.html |
-rw-r--r-- | 8003 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Utils-String.html |
-rw-r--r-- | 13648 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Utils-Suffix.html |
-rw-r--r-- | 27614 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Utils-TestHelpers.html |
-rw-r--r-- | 3613 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Utils-Time.html |
-rw-r--r-- | 20195 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Utils-Trie.html |
-rw-r--r-- | 19100 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Utils-Tuple.html |
-rw-r--r-- | 6197 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Utils-Unicode.html |
-rw-r--r-- | 4988 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Utils-VarSet.html |
-rw-r--r-- | 116205 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Utils-Warshall.html |
-rw-r--r-- | 1953 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Agda-Version.html |
-rw-r--r-- | 8411 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/Paths_Agda.html |
-rw-r--r-- | 243 | root | root | /usr/share/doc/ghc/html/libraries/Agda-2.3.2.1/src/hscolour.css |