Result for 6E301188395BA974BD8D1C1C4D4CC68870BE2ED2

Search result
Graph view
Children (717)

Query result

Key Value
FileSize2186306
MD5AB9B1DE4ABBA9847B05484E3A2C3DC65
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.2-1
SHA-16E301188395BA974BD8D1C1C4D4CC68870BE2ED2
SHA-256823ABD8183AACAFD273C7B45ADECAE6AB9AFEAD97BC28F97C6AAB02A2D3578CD
hashlookup:children-total717
hashlookup:trust50

Network graph view

Children (Total: 717)

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

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/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-Interaction-BasicOps.html
FileSize35958
MD5637E21F7F538AA30B01C06397DA9BF58
SHA-102121FBF2DAB375BD4A02A5F15FEF58EA912835A
SHA-25684409740855355195137C3C4633A94B086F7D417156B5D96550FBE5B97C4AE6A
SSDEEP768:JRG1rlvJ/bAykfVyEqX96A7WyHkS96kD0WkBLLIO3/rczr7:JR44syVAr7
TLSHT106F2D2F267E3723672722F8689C07E6D39832CE0D1418A4E30A95DA7DF5CF6425A3197
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/Agda-Auto-Auto.html
FileSize2428
MD5352D53EA0254F0AB2C47C36E1511C60F
SHA-102D9CAA82EAA12ABA9FEBE6C7B7B368CCCD00CC1
SHA-256529D18283A49870F09DF255AE80EA722767CFD371BC0047F7A802880A5B3A4B0
SSDEEP48:Im3Kcid+w4xlXntGio7aYkuXeiX4fcXeiJ4fZeiP+eimEBeitvId1:Ukf/XnAn7aYk1ewd1
TLSHT13A41039266D1D0BDE3619F85F1F5B60D2183A4D342819A48E0D8886FCB8D7D994477A3
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/src/Agda-Syntax-Concrete-Operators.html
FileSize150598
MD5C5C3113D63A360928B0887C37D033E73
SHA-1035F8FCFA91FE5505F0944CD192C16CF32FF6B5B
SHA-25641EA825E91C30D7138C95283C8CFEE10B1B1C2DA9159849271B930821AB8D0D4
SSDEEP1536:6bZHLYIEowoEAeSyTEjLWd/QJgxsyfSkCdJ:6fys
TLSHT188E3F3D0C6F38A362173D0D365DE2FE3F4A054EDD9861528A6EF93A6A7EDC10B816C11
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/Agda-Termination-CallGraph.html
FileSize33783
MD564D6E7CD42AD65413C3F60B574E4F371
SHA-1036EA2DA885BF111BA15F96B579A6B7DF4CE8367
SHA-256666C5F908DA820DFD0066066FDD7E93A05B374DC7B295A765DEF8625BE05F78A
SSDEEP768:GJxRShX+uXazhHZniboTRz8MxcQK59L6tfScNwRwfgiuApqXR7:8Rk+zMFR57
TLSHT1D3E2BDE1D7D0933A96624BFEA6E82B5E71E328E4C6438D0C34E4097ACF48FB46527157





metalookup is a service from miwakeru.com