Result for 6ECDAF01F7DD7339014CC2EAE2E3D98043D3C419

Search result
Graph view
Children (679)

Query result

Key Value
FileSize1687042
MD524E733B39043DFF3A1B62BE36000B8DA
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-1build2
SHA-16ECDAF01F7DD7339014CC2EAE2E3D98043D3C419
SHA-256541FE36ECCA779006EA7FE3900C3327F8136597774806CD5AAD8182CB43942DF
hashlookup:children-total679
hashlookup:trust50

Network graph view

Children (Total: 679)

The searched file hash includes 679 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/doc-index-46.html
FileSize3530
MD59B052F5B10C3B7057ABACC972D93FB76
SHA-10279C03259C0D82B9CC33C715FAB90817DB4E518
SHA-256F1DAB40160055C86702159762074918EBCFD30E168F5F669AA28F0002DBA0748
SSDEEP48:Im3+mG8j4xlXWGiDpsLYdyklZ6cscJyk0HEk8s8s0kU08s8ZCEyKd3leIAQw2KQK:wL//XbXYpjLFYfL3TU7D7/Q7SK
TLSHT1297107492DCC60278375124CDE917A1824834EF287360D87A4DDFC4BEE9671A7E0EA8F
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-TypeChecking-Reduce.html
FileSize32195
MD5AFDDBC4E3C8D62CFB48437580D722C6B
SHA-10346B5C01449705DB8D2EF4089C8BF11D307E0C8
SHA-256D8661261BE2043C8C3803467B691C7DB6333C291A4B8915AC066ADA6DBC087EC
SSDEEP384:sgv7mTbMRds+ZTwwvTlTjHLbTo4QTsJ1yK:sGmsRds+ZPvVfbvQk1yK
TLSHT12CE27AE22BE667BD52B20E8991C47F9A74C304F1C141895A34BA99D7EF4CF74106B2CA
Key Value
FileName./usr/share/doc/ghc/html/libraries/Agda-2.3.0.1/src/Agda-Syntax-Abstract-Views.html
FileSize5723
MD5AB5353D409DB888E91722E6BF47868B9
SHA-104409F4004016ED290C3541FE7CD38E180876F75
SHA-256B7064469C748E595BD9A97B98CFB14995D428876C3CAE13D2C7A00111CAFE708
SSDEEP48:clmIJrT/35DBDaDDFH95DBDm95DBD995DBDX95DBDDAZGWchbzqiftAjASSrUNTj:cFSTs/qiftnSSwNTd1/1qee6WNVAj1A8
TLSHT1ABC1E8D0C6F38A362172C0E365DE7BF2B4E014EDD9C61528A2EF93B657ED920B816C15
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/mini_Agda-Syntax-Internal-Pattern.html
FileSize1396
MD51855675EDA621254B55B9B5C2AAB57F9
SHA-1045422A9E8AF89E92412779A5C91061459BB1436
SHA-256CA88ED5B1DE91E4A88CB3FCCBCEF71C7862C17E6C920E2C223B280D6A6DC1C31
SSDEEP24:hMNmVpks/I1wnkR+VMiTc8LEduLN4uSfAEduLNUTBnABbuL/nBbuL01fKBbuL02a:Im3geTpAuR1+AAuReBnABbuDBbuwKBbn
TLSHT11621CBB3BADE682245171DD8B1F1F31A20D3828ECC828C8CF59447C69EDEF559C8258A
Key Value
FileName./usr/share/doc/ghc/html/libraries/Agda-2.3.0.1/src/Agda-Interaction-FindFile.html
FileSize30021
MD5EAE7B140ADD578E47A0376849688DAEB
SHA-1045C1026AAF4BACB0AA594AE339DAAE2BB987A9A
SHA-256D2744D7F336960BDD5C21BF1819FD1B2FAD94D6E15FBEC9B6C83B3025F210370
SSDEEP384:m1soOa5Av/1uY4ewe7kbXMbbPg6Ht4vP/oRDsRyYjr0Kl46JwYGqcz2U5ihYxBcd:gsolk427S6cr0Kl4VLcd
TLSHT17BD23DD0C6F389271173D0E3A59E3BF2B4E054EDD9CA1628A2EF53B657EAD10B806C54





metalookup is a service from miwakeru.com