Result for 1AFB83785C97151971F4181F96B0F79B254018FE

Search result
Graph view
Children (575)

Query result

Key Value
FileSize1058914
MD58030F1CF102B2E547862D0E2653A3460
PackageDescriptiona dependently typed functional programming language - documentation Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). . Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL. . This package contains the documentation files.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibghc6-agda-doc
PackageSectiondoc
PackageVersion2.2.6-7build1
SHA-11AFB83785C97151971F4181F96B0F79B254018FE
SHA-2562E1D030C9EF37E02E4AFBA95B0C59443134A717DD5A2FA578E4FA2ABCF964BEA
hashlookup:children-total575
hashlookup:trust50

Network graph view

Children (Total: 575)

The searched file hash includes 575 children files known and seen by metalookup. A sample is included below:

Key Value
FileName./usr/share/doc/libghc6-agda-doc/html/mini_Agda-Version.html
FileSize621
MD59DD36214A8C115D9D4287A45209BD01E
SHA-1009A6F0328FCFF16085716015738877D4BB7386C
SHA-2568C559B879A79D4FAC7F124A78156D75CAD50506BEF1FBB1AB04A67AB821CEE5F
SSDEEP12:BMQbwuO4x53uJ1bzq2Q8mMfXK9TIc98mjW6bLfpzYVBLMazKQGyWx10:Wspu/b+IPf1x6bLfpUVtnzxGyl
TLSHT1AFF0ACCE500BB66F9082E358F2CBF0855E3A43830289ECDC1C9D850972DDA5E849C576
Key Value
FileName./usr/share/doc/libghc6-agda-doc/html/Agda-Utils-ReadP.html
FileSize33072
MD54B5D522878EB0901029B69FB837F9D56
SHA-100A82755D2F8271C79B0D59C9E0A1B33093D1D2E
SHA-25696608E8726CF16BEBA47FD7478000095EC3586311248ED30A9E979851096F517
SSDEEP384:Hlm6dXeJ3IfTPHoM1TtrRQlGHmtPtRw8d5IZ5YdP7dcH/sqkv7n:UJ3IfTvoctKimt7ckZcHT0n
TLSHT15EE205EC1302581BED927993F8DE50676D45023DB7927D9E342D8C0E5EC663A243AE2F
Key Value
FileName./usr/share/doc/libghc6-agda-doc/html/mini_Agda-Syntax-Info.html
FileSize1903
MD5E1E5B5F40F033B878D807202BF315357
SHA-1010AF2F088C27AC2199DBDC1455A851A4C253EA4
SHA-256791AA4EDB1924DE098F254989EE95AD13910621E57B021CB43EC754C4CB5ACF3
SSDEEP48:HAz+IeI6HMSnHMzOHMl8HMn6rHMfLSHM1FHzHMfF0HMu/HMjOHMDS:Hl5HDnHKOHg8Hm6rHsSH+NHwaHr/HwOP
TLSHT1F14128BF3A13B087DE0ED944E9D2902E640463D12320FD8D2508C84DE9F97A7ACDE819
Key Value
FileName./usr/share/doc/libghc6-agda-doc/copyright
FileSize3421
MD55A828C11D66B7E9AD78BFBB332DE1403
SHA-1020D2741715074B5231ECE54D685507DFF61F836
SHA-256DCF921E14C04A3F335FA5F80E9995036E8F22ACDBBD7ADA9AB778F61985CC8A1
SSDEEP48:guiDoR3M1OSJnlxEzFlQHms52/to3o4FIO9JQJzahVPvKf32sruT32s36t813ofL:gulRsuvQHoEoc9JQJzabKf3+T3zhINTd
TLSHT1D261084E33040BA321D71BA164AA9DD8B11FE12E7A23AF04386DF389033B82DD4FB454
Key Value
FileName./usr/share/doc/libghc6-ftphs-doc/html/haddock.css
FileSize4714
MD5E96D4F1120E8B14486961BE0FBF028AE
SHA-1020DAFFB72D0CEE76F7D0746B5325F63ED8F9F2A
SHA-256E92D60EFBC9CFB3BCC35225F579C5B022D9E549D36D572C984F00D45E164D094
SSDEEP96:9eoAPAXAWsZtfP+Dj4R5UZ1ZeBFDFik1JyLj7wLE7HLLFS7m3HYBFDF4lFSN6+nX:UbowWsTeQjFDFYF9+FDFYF6Cor
TLSHT1B2A10E82BFA0A6093009C4A1F413EEF5F31E51616A5ECBF8BAB9506CED446E0157E3CD
Key Value
FileName./usr/share/doc/libghc6-agda-doc/html/Agda-Syntax-Translation-ConcreteToAbstract.html
FileSize18992
MD58EDB64FFE6A288F1454AD2DFEC9A755C
SHA-102BA428A33B490D5FB916B088D2C4D8B60582DFB
SHA-2561837B310FEFE360B818BAC72957C7583B8BF620C0AB82DB34152EE5C7630AED3
SSDEEP192:Hl1SdYfKt2Yvy3YNGAiPB6+58kdMSMmNBpmP0n:Hl1SdV8AiPmbP0n
TLSHT11A8247EC5396924BDD527803E0DF013A6D10453C2B95BC5EB62D844E09D37BA28BAF2F
Key Value
FileName./usr/share/doc/libghc6-agda-doc/html/mini_Agda-Termination-Matrix.html
FileSize3084
MD5C1658FAD961091F85C8091D6FDBCED02
SHA-10316BE4CE77B6FD4C10FB7FCC83460A24A63FCB1
SHA-2565FC8543F692E7FF19A8203E333C48431E29FB87C310BE0A66EE22960DECBDCBD
SSDEEP48:HAz+I0I+nHTzHyclHZzHi4HZzHDrAqzHozHRmzHkzHYzHnYzHN9qzHIzHozHozHh:HlBnH9FdFfAgOxUy++rguOOumCfgGT6T
TLSHT1B0514BEE5B56768FCC431A68E4B6582B682007C013D19CDE3489C898CEAD7E7D43F927
Key Value
FileName./usr/share/doc/libghc6-agda-doc/html/src/Agda-Interaction-Highlighting-Emacs.html
FileSize18333
MD5364429F8322D74E225FBD8B6C95A2F6C
SHA-1036E5B324FE4BEA7E98A8ED326CB6590968375D9
SHA-2567E2B498A66B9882AD3EADFBD306D89083E0A96C66DBB893D9557F9C99727EC03
SSDEEP192:lnjeDN48bN5YrLWJVCYHyvm3mJ+cUXQX0pEKE3+oV2BNrc20O:h6S+JgYHyv8mJIK0EKK+oVyr3
TLSHT1668227E0C6F389262133D0E365DE7BF2F4E014E9D9861628A2EF837657EDD54B81B811
Key Value
FileName./usr/share/doc/libghc6-agda-doc/html/Agda-Syntax-Scope-Base.html
FileSize72098
MD59F6D23EF6CDCC080D1352E01DA6E8D97
SHA-1041CEEF3BEC96C55933B95D15A73A6AF1FD0242C
SHA-2569E8D9F1B61D8138958A9523E76F36D7AE8C7209CD699E916354BB102CCDA5120
SSDEEP384:HldKd+09BgPrY2jjfH6IODj5D1aQaL21IAvg2pbQtTBmn:BRrcj5DX1Rdksn
TLSHT1CE633EAC1356507BAE927D13F4DF106A2D50137C6781691E7F0CC88E4AEA739607EE2E
Key Value
FileName./usr/share/doc/libghc6-agda-doc/html/mini_Agda-Utils-Size.html
FileSize670
MD56DE578F28F953066E89D7FFFA1E09EE0
SHA-1046BE1ED4BEF19AF1ED09BB26947803871E92B2D
SHA-256EFB5BC9F7BE39EF76FADB980F895BECBE739B1C369A3D8CBCC44F5009FCF90A2
SSDEEP12:BMQbwuO4x53uJ1bzq2Q8mMfYJOV49TIc98mjW6bLAJOFvzYVBL2oX1yFmx1vcC2:Wspu/b+IwJg51x6bLAJwvUVt2Ucf
TLSHT1980162CF640BB64B8442F220F6CFF0885C2902D35208FCCC1D8C864822CD98EC49C47A





metalookup is a service from miwakeru.com