Result for 4C182B5383348681E5348C9D8AE1AFFF2F80E628

Search result
Graph view
Children (847)

Query result

Key Value
FileSize2184422
MD58F1A685528A3B5E8AE55E11670F05277
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.4.2.5-1build1
SHA-14C182B5383348681E5348C9D8AE1AFFF2F80E628
SHA-2563DBB45F4254DAAA7DCD5325BCA5B04D3E4F7BC49B8A8DE38DA79531BC2E80DB8
hashlookup:children-total847
hashlookup:trust50

Network graph view

Children (Total: 847)

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

Key Value
FileName./usr/share/doc/libghc-agda-doc/html/mini_Agda-Utils-ListT.html
FileSize2086
MD5CA9FBB39BE8B7EAD44D07CAA0C1467D9
SHA-10008B393446679649C48E6ED5565711600DCB8FE
SHA-256428D399AD456DFD4558BE88EF9A8567A6A838FF1E54476F5B42C545E678B7E37
SSDEEP48:Im3vJ4WeTEJ40rvzMBwvnBwvEtKBwvZBwv5Bwv2LJSBwvBBwvxBwvLBwv7BwvPBT:J6hTE60rvAevnevEtKevZev5ev/evBeW
TLSHT1DA413B3757A868A300E3CDDAB1F9B71A647341D8CC434D68B6B46DC79F88ED28412296
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/src/Agda-TypeChecking-Coverage.html
FileSize167026
MD5B3B8D8FEA0FFC93C828AFF8FC06B0DB9
SHA-1002B5157BCE88263F11EC9D27EED08EDC4C90A01
SHA-2564483E14448A054DB35ADD5E6CF48CB10862C2358AC57CAFA1ABA64A8849A513F
SSDEEP1536:IZ1W42jK/VKJGcqNYjcBzWpA12Bacb8kOAfcVs:IZ1W4pn5WpA12Bacb17j
TLSHT1AFF3D2D0C2F38A262173D0E365DE7FE3B5A014EDC9891528A6EF83B65BFDD50B816910
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/Agda-Utils-Cluster.html
FileSize3360
MD5EFAD91EEAC0EE530C5DE173B6D1C59C5
SHA-1004B44CAC96B20AE82152ECFC3FD916C3E7ABC65
SHA-2567FDDE63A3F1F6B284FFAA2FC2049DB6B45A556755F0B0C1F2D93FEEEBCE1CDCA
SSDEEP96:JQ/XAn7qE7TKw5q8tI2rzw7Yrlxzvf4x6rD9:JkQqE7TKMRbzVZx74xCD9
TLSHT1AD619412A58121B789C3EDC9FAE1BB5E71C3C19CC6024D4834AC598F8BCBFF8A516947
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Monad-Mutual.html
FileSize6425
MD5EE6AE20F94A34A76BF8CFC59AD9DEECA
SHA-10052B856D8162F4501F04FE710112DC09752BED0
SHA-25624693C4618D1B5D50FE13BB50D2CA7D3E195E5E432456EADF207D40C77AC4628
SSDEEP96:2/XAn7q9w5q8VWa/LhPynU3+MGwG0PCYK9ICtML9:qQq9MRRU1hd0f2ICQ9
TLSHT1A4D1F1E257A43235E3721FC69ED47B2D758368E4D903454EB0A894A3EF8DF5224260F7
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Positivity-Occurrence.html
FileSize18363
MD517B04511C2A65122CAF06D24CC204CCF
SHA-1006C644F74C0786CDEC4C4CA9310A82E68BA716A
SHA-256FDB3611F1F4047B5DC722BD6252AB4CB03A29BE54638E0E34C18D12605E530C4
SSDEEP192:qQqWTKMR8oJQksWAMz+gT3ZI5GuWwUh2hns+3CxKcMrWVC89:qQqWTKMR75TJ0Wwgysyi1Auv9
TLSHT1738246E1538571F6D272A988A1C27A5F709305E4E3491B3E38BC446FCA8DF7BA0518B3
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/src/Agda-TypeChecking-MetaVars-Mention.html
FileSize28757
MD5C5ED4358C3F268AB3882BE904A7044C4
SHA-10152F7472D648051747A566D74E8366B77424C46
SHA-2564CC779F5F3940A6A82D2BAC364B87B10BC7BF3E01E0937305FD5259150870100
SSDEEP384:mPDRTP+ofHQ1ISRKMtzaQ0YK/M6v0obdVEUh5jZxB3jLF8Q:ADR+SH
TLSHT1F4D2EED0C2F38A262473D0D365DE7FE3B4B058EDD9851968A2EF93A25BF9C14B817814
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/Agda-Compiler-Epic-Forcing.html
FileSize17125
MD5CD140DD53041D2B1E7E22EDE86D36805
SHA-10165B5B15EF33674DB0DF1A2D0C3146F33F88168
SHA-2566042A80A730F4100BBCB8B3F5F1F93FA67EF305807F57B279D429347568DD5D7
SSDEEP192:5QqQMRZo+4H4wX2TUdvgcn6HY/PzzKnEYsbef7Mp9:5QqQMRC+4H4wX2TE6HYnzzKEYsbeDMp9
TLSHT14A72D0F1239F697963725A854FC035AE378396F4D8018D1C78588A97CF9CFA420B61B7
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Free-Lazy.html
FileSize31300
MD51A432DFFE1C4A01946392B444ECA21B0
SHA-10175CFF7247689BF78FB4675A63683E3F8F50D42
SHA-256E22332146C5C3B566D3C4F31C861B153D5242C2EE6F44944F7E70209CC10B7CE
SSDEEP768:EjMPXvR4y7HaESF5b1sJzp4u4AY5wfE4woVL9:7vR42L9
TLSHT1B8E2BCE267C1227B52725EE885C47FEE75E304F7C381895931BC0597CF88FA420A768A
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Monad-Benchmark.html
FileSize7594
MD5721D6C167F64589F94AA9B3F3465BC4C
SHA-101B8A852AFE9F4ABBDF78829E6DC03399741B210
SHA-256CADDA716B293D28C187B14BF276CE1F34A488DA9FC776A470859EF72CA57BCE4
SSDEEP192:ADPmQqVlTGMR4ay08Tmo8ax+oZoy5yapQmX8TQ408E3TEg8Tmo8ZAaffR6i47zaY:5QqzTGMRQFz8TWTbBouR9ltY9
TLSHT169F1DCA25791A27761221AC6F1E9FF7D39C751E5F2420D1F38A82887CF88F64941707E





metalookup is a service from miwakeru.com