Result for 945FBDE44DA46714AA1EB5599D39874BFB5646FE

Search result
Graph view
Children (680)

Query result

Key Value
FileSize1768608
MD5855F66578A04BF51EE362483E2D1E5D0
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.0.1-2build1
SHA-1945FBDE44DA46714AA1EB5599D39874BFB5646FE
SHA-25665179A83A1D0EE63FCBA80078F27043533A6BE6E6D7553095A55A5F7080B1C82
hashlookup:children-total680
hashlookup:trust50

Network graph view

Children (Total: 680)

The searched file hash includes 680 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/ghc/html/libraries/Agda-2.3.0.1/src/Agda-Compiler-JS-Pretty.html
FileSize39389
MD543F5605FC306168A0D00725EC49A8D00
SHA-100728B98FFB600ACEF7965245D18F304E53B736A
SHA-25693947E8A91D7CF57AE86A4EB87AC63881ADD9342B386B6EDB7955ED9BADFFBE1
SSDEEP384:mm9AQvW3U54fLjJOKErG+hRxxtV9Cu4oSbB3dRgek0l:jHhRTtV9Cu4oSbB3dj
TLSHT18C03ABD4C2F38A672433D0D264EE6FE3B4F018EDD986196896EF83A55BFDC14B816811
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.3.0.1/src/Agda-Syntax-Parser.html
FileSize22597
MD5B2FF53F857A7D48E65CA40D3319AEEF7
SHA-1024DE319A598FE7A6192CC86CCDCFCFC71ABC57F
SHA-256A7837811F3B3046B5B09FC8D321E88FC9ABEF365F8927E159CB1EF990F5A23BF
SSDEEP384:mETG0JqMpSGRlJS0+wmM7zOY55AJHi9969tSQnrc9j9rk:dZ8IQnrkprk
TLSHT18EA2E7D0C6F385262173D0E369DE7BE2F4B054EDD9861528A6EF83A66BEDD10B807C11
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Rules-LHS.html
FileSize17089
MD568C89B093750164920D6ED1647E3062F
SHA-1027B611569D3AFE4D6B6F0A45F9AC9AA57ABE8CF
SHA-256713699FB92468FC245A91E4B581F718D0A244405726DCAC61CFD0A48ED228D84
SSDEEP384:3fa0MR4fxETReKTHjVvvlm2STQtuKHVEnXkTQ3Dr:yR4fxEAKHVXlm2ScsKenXkc3Dr
TLSHT18A721FF1ABC5713A63B31E8A9AC03A5D718302F5C5514D0E71B98AD7CF9AF2034B6587
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Irrelevance.html
FileSize13602
MD5458A56EA594B367F7F9026F14F341F85
SHA-1028F0A83C4935CAB8DA29052E90E0DC616CCFB62
SHA-25615558773B62167F1F7488F2D8369477789979C43B9EBD76DD89B8A17E94DF30E
SSDEEP384:/famTTTbMR3dhNtxmMClBl66wikMiDMBr:hn0R3dhNtxmMClBl66wikjD0r
TLSHT10D525BF25BE42277F3621A8F98F07A7B318B02E4D2414E9D31669597EF98F2058E30C5
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Internal-Pattern.html
FileSize5245
MD5BC1920AE4648BEA4C70ECC578AA5B52A
SHA-102B84D75C08AACF432625BA94384C5B761AC2BC4
SHA-256E4CADC7DD143D8B12D6B68265243006428DB35D6AD41CA00E3C6E124B1C14667
SSDEEP96:WP0/Xbn7a+pgJ6kToNiI7BVlNVltGWCbIdeipPBE6jTItGTvIdeI1RFrlyGWFYIO:9fa+pgckTcX7BVXVltDCUdeipPBTjTIp
TLSHT164B1CFB2BBC9383697A719DC5AD03A1FB0C382E9C9554C8EB4644BC78BE7F1058C144B
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/Agda-Utils-Trie.html
FileSize4938
MD57BF70863C3B5F8D5E4F7D5D33AB664AC
SHA-103AB4843DB55D049C34DFD4FFD05E0D3BB536356
SHA-25606D6665225D60C5FD6D91A2F51703D7F513D5635D77F1901E969C1B165EFC4B7
SSDEEP96:JG/Xbn7aEIw5q83TmRyRrRBqAGm2y7fWLY4R0URFFIRp98dr:J6faEIMROmlBqAp22fWY400FFop9ur
TLSHT1B0A1449143A4E7BA56125DEEBDE43A1EF8C312D9D0008D0E307846CBDBD9FA519152BB
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Rules-Def.html
FileSize11027
MD5D25C6C4D40A28D7B041015A2C381F7AD
SHA-103AF3798F627AF00F6948C8DFCD7326755D306DE
SHA-256E9A8403D048BDBADCA125D3EC649A32AA24820F5411B2AE16627ABDB16424819
SSDEEP192:lfa6TXMRF5Rm2IRKz652ZtPw47QbaS5tz9AxVzOT3CQqXRKz65ucZ8GdkYP/RzCO:lfa6TXMRF5Ri2ZnS5tz9kzOT3CVFucZl
TLSHT19632FFF1A7D672B9A3B32E4A99D4361E314313E4C9018C4E72A49AD7DFACF2030A7557





metalookup is a service from miwakeru.com