Result for 71F3E85C6DCA4DFD52AFF4CE1FADAD3AD121536E

Search result
Graph view
Children (716)

Query result

Key Value
FileSize2183424
MD5E77D9359D7492CBADF2CA5A0BA348344
PackageDescriptiondependently 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 provides the documentation for a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibghc-agda-doc
PackageSectiondoc
PackageVersion2.3.2.1-1
SHA-171F3E85C6DCA4DFD52AFF4CE1FADAD3AD121536E
SHA-25636DD649B0954BEC6866E65A7C6637FBA8A3D48372E5A68CE365A69976018A820
hashlookup:children-total716
hashlookup:trust50

Network graph view

Children (Total: 716)

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

Key Value
FileName./usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Rules-Data.html
FileSize7709
MD573971EB3B554A3953C7E2034B7269E89
SHA-1000E84B61C493E1FAFB367F55A6376241B5E6611
SHA-256C8301AA74657CCC7D09C9BF5754F2BFDC6FF698DC1D8701F3294405FF593CFB8
SSDEEP192:R6bVa3TOMRha7JOs5CTKALPGbuhIxlZpXrtQyd1:uVa3TOMRhqOdpPQu6D5ld1
TLSHT130F11CB277E6B2B967B12E81A9D0365D304312E9D5418C0D31A4D5E7DFDCF2070B629B
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/mini_Agda-TypeChecking-UniversePolymorphism.html
FileSize973
MD5ECBBBE98C9C9EFA9542C40468FE78B67
SHA-10042301AC1C2E7E0CD3F0C087702B8E80C154F4F
SHA-2564FCAA1B1C2B199667E3C48DD19317EAAABAC15B0AE24B15F223B47721BBE73BE
SSDEEP24:hMNmVpks8zQQ1wnkR+VMiT3zQaBTT9BTy8a:Im3GLeTj5B9Bi
TLSHT1DB112526BD65684382339FC5F1F9E30520D6824BC2C10D8CB5D094D7D6CDEDE8546148
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/Agda-Utils-String.html
FileSize5626
MD5788A539BDFABFE3F39A423E9D59C89A5
SHA-100605DFEFCDA90E84A32619D91E502E345F702ED
SHA-25694A6FC33C9B2E60F718E967160F6E884BB94D33280E8D205C1B29B4A2517D15C
SSDEEP96:JJ/X9nVE7w5q8h8/kG+uMLEtVYON0tkeoB/CRw/iBw5ed1:JB3E7MRVqYg+PG/sKed1
TLSHT191C11252B7C0D1FDA722AED8B2F51B5E724378E681525F94E5CCC81BC389BD91006367
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/mini_Agda-TypeChecking-Monad-Closure.html
FileSize801
MD5BDA96C654761E1F052107C168B2D588A
SHA-101281486522DEB7BFA637FFBBCCC6E5DA464C94C
SHA-256D3B50A7542994980B101DE4B9E46BFCB9539623F13D3E38E43CE9EB04B925868
SSDEEP12:hnMEwuiuX4wRpk6QclfZFkDRQZgD0IcsJmIO4qJmTR+VPEirTokDRF1BSBzIQSAa:hMNmVpks8Rt1wnkR+VMiT3RfB4Aua
TLSHT1F301C2566825A59691736FD0F0F5F70445868346C38148CCB5D852D795CEE8EC403399
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/mini_Agda-Interaction-Imports.html
FileSize2363
MD5EF72B2E2FF28880F0EF7AAFEEC159B2B
SHA-101C63114F3D84EE0CA4ECCC47B66A11E2EB7CA52
SHA-2566C9447F76C10FBD6234613762F90EFB2F1458380A27810265F94F649C074F69E
SSDEEP48:Im3qeTHBq9UBu5grBaXuBVBzBZBsBxBNBNBNBBB4:XTHzg5gr0XujRv+X77D3+
TLSHT1AD41D637A2EF746212571DDDA2F2EB193CE385C9DA034988B9604AD7DFCAFD64403285
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/Agda-Auto-Syntax.html
FileSize37495
MD5675CEF705BD4AD505D214DE52EAA3430
SHA-101EE46C4FE961AC0774227120822B90E05154011
SHA-25684FF7AC67A771D77C29C4AECB5D9DD496CB8F367086A2C1A8B80F3AC0296EFF8
SSDEEP768:oFMIpysQqFTQFoUVe5xwMvcJiCdDCK/1yQHUo7soK5aXr5v+UI0hDf5MHdWJrvnQ:zZQHWz7S7
TLSHT135F28DE367D0667B9763DAEA91E07F6E70C391F5C2015D0C76B829CBCF98FAA0811449
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/mini_Agda-TypeChecking-Rules-LHS-Implicit.html
FileSize993
MD5384E6097DFC1B046CCB8895D45E23F81
SHA-102C46E523481081708850068D395832BD7CF73BC
SHA-2566593A9E2D85269C3ACB7C08EB622AE6F81F14A07C6D6C7D4631D6BCFEDD1486E
SSDEEP24:hMNmVpks80Qyh1wnkR+VMiT30QyaeB/ryB/5N7oa:Im3BQseTEQ+B/ryB//Z
TLSHT16D1128156D14AED142221EE4F1F5E70808E3C3CED682494C63D841DBD6CDF99D907386
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/mini_Agda-TypeChecking-MetaVars.html
FileSize7090
MD52F752D88C9DF9901BD69FD1BD11D1587
SHA-102CEDE660A124B1BDC022F489E81D3D450A106FE
SHA-25676AA54CB776FA590801DE2D1B3F64F0A10149F3DD026CCD0DA0558302CB3C4BB
SSDEEP192:NgTATEAaeFCVI+eiLI6WxIx+KCuA3K4nNIGKwRIjmKKQW6i67sdaqAi61deDi+Ke:NgTATEAaeFCVI+eiLI6WxIxlCNa4nNIi
TLSHT16DE1D377A3ED74B361731DC8A9F4EB2935A30198C9034A4CF6F109E3EF88E53601664A
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/src/Agda-Syntax-Concrete-Name.html
FileSize44496
MD5D997D48227B13ED607A018773DC7E91D
SHA-102DABFE7F318D7595CB31431503D351922E4D87C
SHA-256BA2D8F409D1AAB3CBEAC94D556EA4916C6E0BFD8899385ED5D77000138AA21DC
SSDEEP384:m9Ow4BxkOJCS9G1SJrli8OiA0calhhW9iWO4evVNJYjByt:wyAdale9KNJx
TLSHT1141317D0C2F389272533D0E3659E3FF2B4E054EDD9C61628A6EF93A257EAD14B806C15
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/doc-index-36.html
FileSize3459
MD5583E3441A65CE4C3B38A59B7A0F7AF51
SHA-1034260A4423F1FD9FE50644F573A7E1AA3E008E4
SHA-2565680CA26B2562B5850F9848FD4E473E9136631538C664A3969AEC3166C515419
SSDEEP48:Im3+0Guj4xlXkGiDpsLYdyklZ6cscJyk0HEk8s8s0kU08s8ZCEyKd3leIAQw2KQx:wtp/X9XYpjLFYfL3TIhRd1
TLSHT14B61F7492DCC20278375164CDED17A1820834EF247760D87A49DFC4BDE9AB5A7E0EA8F





metalookup is a service from miwakeru.com