Result for C5864024CE71FCE6E756E34BE256E852A258BD91

Search result
Graph view
Children (716)

Query result

Key Value
FileSize2184674
MD5B57ED4DADA0848F09DFC614C14E1D6A7
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 contains the documentation files.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibghc-agda-doc
PackageSectiondoc
PackageVersion2.3.2-1
SHA-1C5864024CE71FCE6E756E34BE256E852A258BD91
SHA-256CFB8D9A8C06B64DE30CD308DDC4E5E1FD5F5DE8EF4F334DE6951A2B8E6A53135
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/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/Agda-Compiler-JS-Case.html
FileSize8504
MD572AC1D8A93DF4F996D93E72D43AD1B73
SHA-10171921C3102981C25D3D9D2880718AE1A7ABB4C
SHA-2561C74B3A2B37EA72F25FD3FC99ABFD65D4F7206087677A33CA4170C887CC9FFDD
SSDEEP192:NIa8fTGTk8CoT3rqhTBqu32i0VBTk55ld1:NIa8fTGTjCoTbqhT8u32i0VBTk55ld1
TLSHT14B02BBB2A3D9797677620AD49FD43AEB76C352F4C5010F0C78641887EF90F9A20E30A6
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-TypeChecking-Rules-Decl.html
FileSize13339
MD5EB1E919148331698101362D2FCC1D760
SHA-1022E9C6E37A54DC67881A275269A2828927521F7
SHA-256709DB1347D8DCB14848C376C45A5BCB3660D79E24FBF3D43F3C77EFECCE056B4
SSDEEP192:iIaJMRRtEcmPba4PY9TWdQ/mw6PJkPt4Vp2ailql/0nd1:iIaJMRrYqqdQ/H6PJ64Vpul8/od1
TLSHT1D4529BF16BD273B6A3A32E42A8C4319C344322E999048C1E7199D5D7DFACF5530E74A7
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/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-Interaction-Highlighting-Generate.html
FileSize9826
MD5F3A70C4BD7B79949C6DB44B525B25271
SHA-10373DECAB21BFC14B14188B9489FC1DD2ED47BB5
SHA-2560FCE3667768B42EF44805F1667D1B0CB1DC19EA2A8BFA17C6906F073C0D5A83F
SSDEEP192:0IaQTIMRyn4zATa2zQ5/wATEAXA+jI4OaixYMqd1:0IaQTIMRyYATa2U5wATEAXA+jIqbd1
TLSHT1C51252E257D5323B22631ECB95D8FB5C3AA708E1D202898C35AC4AC7FF8DF2044A7556





metalookup is a service from miwakeru.com