Result for 2F00AA5F3F16072433473A74C50F149AC38D2E16

Search result
Graph view
Children (805)

Query result

Key Value
FileSize2029482
MD55E043505BCB1939FF604849269195446
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.2-4build1
SHA-12F00AA5F3F16072433473A74C50F149AC38D2E16
SHA-2565F33AB586DAF9C4BDB97C5C56985FA7C84C48F3D21B901C567242F37B5B6D138
hashlookup:children-total805
hashlookup:trust50

Network graph view

Children (Total: 805)

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

Key Value
FileName./usr/share/doc/ghc/html/libraries/Agda-2.4.2.2/src/Agda-Utils-Favorites.html
FileSize38123
MD5908FB55E127F0C44AAA89E238A3A0BE1
SHA-10068DC0C9F40C90E460BA5F93C2CE87D2DA9A727
SHA-256C1BCD58D7A74057A7DDDAEB4CBBA8CA968538B8DB196AE472B7BFE75DDCC5CBC
SSDEEP384:m3H9gK7bvKDsUiSzlBLMuo8eG1VzVf/Km/sbs0B4P/3Z/TYJvNH99HeECwgGS5bY:4H9gK7bkonXIK43lYJvNH9Np
TLSHT1CE031DD0C6F389262132D0E365DE7BF2F4E054EDD9CA1628A2EF53A657E9D50F80AC14
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/ghc/html/libraries/Agda-2.4.2.2/src/Agda-Termination-TermCheck.html
FileSize270266
MD549DC17F0B6DFCB11D0B8C3A6BF9AFE4F
SHA-10193B7B157A54D54CDE2A1C708048289FB16D3B8
SHA-256B6B79F3F95CED27A1FA4454A2ABC6131B87F323D03AEA6B7B830271D76DEB7FE
SSDEEP1536:wHQgEndVFJV/9i3uztU9bfqiVvVuoww1STnWEFoqCpnD:wHQgEndVFJIeF5CpnD
TLSHT17644E4D0C6F38A362172D0E365DE3FE3B5A014EDD98A1528A6EF93A257FDD50B817810
Key Value
FileName./usr/share/doc/ghc/html/libraries/Agda-2.4.2.2/mini_Agda-TypeChecking-Rules-Decl.html
FileSize3732
MD5857D9883058B63A1F378C2043905C012
SHA-1019A537D4884C3369FC04DF3C2D3E06DADD40AA2
SHA-256EF808B0D6ECD90ABFBDE08901E490B76CB8D5CDF484040F0699CA5497943C2E7
SSDEEP96:zQ1TEQw9H/1727s0lVsmU/Ud9V1ZF1LDZaK92KEe:aTc9f1mFlVdU/Ud9V1ZF1LDZaK92KEe
TLSHT1C77139A37B95B0B242A32DEAB2F1B70924E380DDCA430E4DB5F915EBDF88F525017146
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/src/Agda-TypeChecking-Tests.html
FileSize19437
MD59C382407453CD7B642E3AE6355A43909
SHA-102550DD8E24BD80EB5D9ADF3312EFCF76E1C17B4
SHA-25658E2D425E948840181CFC03DF7A2E268891453FD1D854509680C07F9688C523E
SSDEEP192:mijghYz6BGLfyk8Nz19B3yNx5NGRcMLQHPjuzjglTWPiHjlMScIcQcAcUcL:miRONhix5N+cMLwbuzjglTWaDq
TLSHT1CF923ED0CAF389262173D0E365DE7BF3F4E014E9D9860628A6EF877657EDC54B80A901
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-SizedTypes-Tests.html
FileSize29161
MD5BF20CD9FEA5421C904D3749C28A23271
SHA-1027BD2353253C477457AB6A5E3E5BF69234E38D3
SHA-25678723A3371B5F3AF652591D5AEF61A13B4C1CE58F5D6D0C0C83AAD61D97CCE40
SSDEEP768:vBRIuN1Z5m6twVT3SMJ/FymMaFd27OyQSR8scLcN4VMI/tbxxbht:ZRb17R81t
TLSHT160D2FFE0B38932BEA3B14F459DD0F2AA258359F88B45970C71DD586BCF8DFA43096247
Key Value
FileName./usr/share/doc/ghc/html/libraries/Agda-2.4.2.2/src/Agda-Syntax-Internal-Generic.html
FileSize52848
MD586BC20EA77E58F14FE2646F56F92D0B2
SHA-1029EBC74C940EDE667697F9F4DD02042F66156ED
SHA-256B227CBBD4FD1B410B634658E81AC400E5FEA13B4E3887374EB0DDEA424D39BD3
SSDEEP768:MXAwzL4I9DkL1IIDFLxIiDrLMIjD2L6ILDklDepVkIN5NDMNjVEf7ErZiDMVzUVE:MXAd
TLSHT1F633AED0C2F386262072D0E365DE7FE3B5E014EDC999196CA6EF93A65BF9D04B817804
Key Value
FileName./usr/share/doc/ghc/html/libraries/Agda-2.4.2.2/doc-index-M.html
FileSize67257
MD5E578983C8DC336C4F5BE6D32A8C8F551
SHA-103524E5A29C4F115659578AB5793B9A525720D73
SHA-2560D9883E696C27BF6261DF9644D51ACAC60CD8BD4C89379857490947D85527BE9
SSDEEP384:w4YFqTMlm2kj93ESt9+PZaJjyUvdFFSKBi+nQjoGVoEAVt:wQjj93ESt9+0jyUvdFk6nQjoGVoEyt
TLSHT1CC637E9625E4603317A7069AE9C5BF9978C306F0C3615A8E2CBEFCD7CF0CE75409616A
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/Agda-Utils-String.html
FileSize8874
MD5D2EFC443397F3B09EC422C425249468C
SHA-104150C4D8179F289452D1ECE850BABA12B8CB53B
SHA-2564B557BB89C662376BC07091A175ADFEC73F5FC750E4B17840B3A2164E92741E1
SSDEEP96:JJ/XkAn7qE7w5q8hOoGAa7eBMFEtpT0lmOoB8RwJihwhFfTQT5ZpGPM4TqFVt:JBZqE7MRl4sYgCdGJoWFfTQTnp8YVt
TLSHT120023451F7C166F9A3528EE4A2C52AAF728364F5C1119F54F8DC9C1BC788BAD100A373
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/Agda-Utils-Functor.html
FileSize11050
MD5101DECE7D9C16F3E4DFF83B1C3FDC4D6
SHA-104B9BBFC7223BD38286B6D20F256FF1DDE758A0C
SHA-2561E2323B23CFEE4F6B781A7015C65E35B381547F6ACB5CFB6647ADAF337E2D294
SSDEEP192:J9fEPT9HTNMRteEvpTDSMZaj9yG1TGTDRg3eGlsIn/B3XRstgckClOXdt:3fmT9HTNMRbpTGMQjEaTGT9g3Lh9Xdt
TLSHT1B7322EE553C553BA929346C7E2C03B5E32A3A1F0C1525A0875BDCE8BCFC9E688317956





metalookup is a service from miwakeru.com