Result for 9EDA39FF64C02CAF908F080DAE8D661F33E22EDC

Search result
Graph view
Children (510)

Query result

Key Value
FileSize971158
MD51C6BD1E99096089743241858D11A96B6
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>
PackageNamehaskell-agda-doc
PackageSectiondoc
PackageVersion2.2.4+dfsg-1
SHA-19EDA39FF64C02CAF908F080DAE8D661F33E22EDC
SHA-2563FB480E865E115684999937BE25CBEFE239BC01FC18B86039FED02AC0AE237B6
hashlookup:children-total510
hashlookup:trust50

Network graph view

Children (Total: 510)

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

Key Value
FileName./usr/share/doc/libghc6-agda-doc/html/mini_Agda-Interaction-Imports.html
FileSize2661
MD5789EFCD6C4B894523E56DA69001B803A
SHA-100165800D301D7E5231F2697F241EDD95D39114C
SHA-256B0CCE4A0162756542D15EBE9FA6B7A1FED2629F13597AE7A5A8788296C6C9117
SSDEEP48:HAz+I/ICzXzj3rzXwtzFz7zvpBze2z3zXzYjzvznzJHVz/z/zq:HlojzXwtz5vvptekDjY3bzJHJrrq
TLSHT17851491F239F708B95431E8CE593C82B6C6019C16369DCDE2808C949DFFE7DB849E116
Key Value
FileName./usr/share/doc/libghc6-agda-doc/html/Agda-TypeChecking-Rules-Builtin.html
FileSize21014
MD5AC5F53B1C5A2433B63CC5D2B2DD42386
SHA-10027589D66C515DC41F6F15AF17DFD8C1EBA80C7
SHA-2560053F9B90942F0DDDADBBDFC452B360881B10D35754C838C2216830F37D62339
SSDEEP192:HlIS8d4j4tf3P2OCwDLtFwCCO42zEKjy0x57CdDlCF4SvCHv8X:Hld8dga2w2Q7JkkX
TLSHT19D924ADC6302D06BAD617912E0EED2296D10127E77D2A51F355C481E4EEA63E207FF2E
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/mini_Agda-Syntax-Concrete-Name.html
FileSize2689
MD57B295933D89CC9CB40102069FEE5A5A2
SHA-100B31DBDFAE47C727428C79E4C86DAD7762D7F1D
SHA-25683F4B26FC032B8689F0E22179C720F0A88016BA3762002643E993FF2AFB1018A
SSDEEP48:HAz+IQIQaRzTz1ztzNzttzPzHz6fzzJzlVz3z1zsnzps:HlBa9npBhL7TsHVlJDpszps
TLSHT152517C3E27D7B05B89536A89F8C3A02B240063845656DCCE740DD486E9FE3A6B89D437
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-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/mini_Agda-Interaction-Highlighting-Generate.html
FileSize1159
MD57A9FD7419CF31918DF8A46CE74945189
SHA-1024F4E71FD4FFDE4CA622E11FEBA0FD8DA6FAD72
SHA-2568EDD0AA0B661533BC53D2147B8169A753C54A14066A29FDB8379B01127C7672C
SSDEEP24:Wspu/b+ICcG1x6bLycEUVt2U6tPqzYtnzSyGXzYtnzSydN8zYtnz0:HAz+ICcGIycyt7z6ezJbz0
TLSHT1C721EE9F2227722F58439D05E4CFE02D5C300AC35269E8DE180CC886FEFDA4E84DE906
Key Value
FileName./usr/share/doc/libghc6-agda-doc/html/Agda-Syntax-Translation-AbstractToConcrete.html
FileSize29368
MD5E510A70E2332AFF403EAEF032AA7E941
SHA-102F57451775F2A194961A2D00E587B99415E2DE6
SHA-2567D22430525ED4CD8988C475599AE45E482CD7E7510AD9B9BBD2425B65694C5F0
SSDEEP192:HlH+dctyjbYNjrj8k8ktala9ala9iWizc0c0o6N6N1A1ARURUlK5DgFrtsG8hfhU:HlH+duyjEb4w4wiWiIiLhfzG0KRX
TLSHT136D255FC77A2905B5F823A0391CED4397C106F6927D5A80E700DA84E4DE327D2A7EA5D
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/Agda-TypeChecking-Monad-Context.html
FileSize19378
MD50B4A4016AB07AAA0E57F8A971EE5FBFD
SHA-103725C0D83AD5BC394DD1BA286182AEC6FB04E3D
SHA-256C29F46CFC4571D2CD8D0AA847C996BA1C0CCDBD8359C7A8A969E5081022598D9
SSDEEP384:HlZodjZyR+SFsRrH5MkSnRndltaArTtdxCc1QnX:sd2d/d7cX
TLSHT164928CFD630B507BBEA22E13E0DF91652D04023D6781A56F341D449E4DEAA39247BB3E





metalookup is a service from miwakeru.com