Result for 8F7055A3BAF89B4A535A2A8B4B3FD5310D187E02

Search result
Graph view
Children (1107)

Query result

Key Value
MD5C12A55767465D3B04B4396999D057B1A
PackageArchppc
PackageDescriptionAgda is a dependently typed functional programming language: it has inductive families, which are similar to Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterized 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 development files.
PackageMaintainerKoji
PackageNameghc-Agda-devel
PackageRelease9.fc19
PackageVersion2.3.0.1
SHA-18F7055A3BAF89B4A535A2A8B4B3FD5310D187E02
SHA-25627FE8FAC2862BF485DBDD55F4D07BF1152D03E1A7F79F031300C82385E90B9E4
hashlookup:children-total1107
hashlookup:trust50

Network graph view

Children (Total: 1107)

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

Key Value
FileName./usr/lib/ghc-7.4.2/Agda-2.3.0.1/Agda/TypeChecking/UniversePolymorphism.p_hi
FileSize7872
MD517C81864E8C6319A5C33A73D0799C028
SHA-1002C62E7EBC22D931494C032FF607E4323EF3D58
SHA-256AEC493B70193575764D6B73E0B73BAFA6CE48F4455F3C849E55E32DB6DB18AAB
SSDEEP192:Zl9Vgu89OgFA+qytXrtTjJWwU72Gi/PQ51Flzu62L+f6kTp6i:Z7VgueF+f66p6i
TLSHT116F1DEB4664C09B5FB720D7B5DFECB105B906A129283DBEF21E6D1E3148DC4E0CA2A74
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/lib/ghc-7.4.2/Agda-2.3.0.1/Agda/Packaging/Monad.hi
FileSize669
MD553DB1FC2C816C6D0E2362C840CD2F75E
SHA-10129E198747823FAA75D250B94F413A4FCCF36B8
SHA-25630FFD30E202E1E80E63FA3CC56B5FECDEFF8B62B5AD00F12B9B7FF549E5D3A82
SSDEEP12:Z18c9yg/wN38tz4maVn0S0j1T+99KPtwOlHQ5ov9Ag0d:Z18OxCNlv0j16996twt230d
TLSHT1930159AF0790562FD3E30FFE80D38391BF3671236B43DBC7A1A26024109A6A05D50968
Key Value
FileName./usr/lib/ghc-7.4.2/Agda-2.3.0.1/Agda/Syntax/Abstract.hi
FileSize191896
MD5E0DE12D4B9B675BA26D400A5E336C349
SHA-101628EA683EE2574058555FC41715995506D3C88
SHA-256C059DE7D1B9FEC25A4D3F9980F5D1A239D398EE622EB21F2C710FD74A65097FC
SSDEEP3072:hETlHmKogQp5zgczQEZs+JVYTvqVs+B1Y7XDKB2LVWhNX05d429CmoZ7S8QR:6tmKmp5zgczQX+Jv1Y7XDKB2LVWhNX0z
TLSHT1AE14418BAF0DD716DC79023AD4FB63003761DDA6AE5DD3A7925C2E24BD430E02C92D99
Key Value
FileName./usr/share/doc/ghc/html/libraries/Agda-2.3.0.1/src/Agda-TypeChecking-Pretty.html
FileSize53105
MD5043E9A88864C024AF7BEFDAE03B297A6
SHA-101B77BE76A5F3277A0549E3A0AA3ACD540E8EE43
SHA-2567AE95B21D422859AFEC826B355234C6C0461796C180365BC024CE88AA2E33486
SSDEEP384:mhCyRsUHL7awT+t8uglDLS55yu0mvBt1KUGRi034bfeQFLQKnD5QL0gj7SEeFz:eMklni
TLSHT17033E2E0C6F38A222173D0D365DE3FE3F4E014EDD9861568A6EF93A657FAC50B806911
Key Value
FileName./usr/lib/ghc-7.4.2/Agda-2.3.0.1/Agda/Syntax/Strict.p_hi
FileSize13583
MD568189FE91F9DDB8A4409FD4F434E1E7D
SHA-101E51EAF367E72E9F6C8B1671E440C68CB57C130
SHA-2567C833A1C77FDCDA0E4080B9BA902E657B19A408B0F5E154D01D99C302C3E7138
SSDEEP192:ZxTjxqGJidAceMjg53fx0GRz2Ps3kiqNUtJWwU7N/PQqz2L+f6gwJkawtLtnsPvs:ZZF3JidABp3DRz336f6gw+rLtnsPvpO
TLSHT1695264C7DF819D62F6AC0B378CEB07002B71D1137B0BE7A781A8B185BC830E95D66426
Key Value
FileName./usr/share/doc/ghc/html/libraries/Agda-2.3.0.1/src/Agda-TypeChecking-Coverage.html
FileSize102851
MD56F2E47DC104848F6EBBAE1D72FDBA97A
SHA-1020F6681D95687989A0A5A2ACF6BCABF91197EF6
SHA-256DFD6BFEFD898E136559085F0BEFB7701B0C0B4B8A9F8E53C9A61FFD8F1DF17FC
SSDEEP384:mf6mMpK343ZaQsDf+b/p6QzC6/957DrZ1G/4HLHrvFXWbMugVctJWEnRO7pEUnpD:IN/or905nMu+RAJaKniOni87pkiaB
TLSHT1B8A3CFE0C6F38A262173D0E365DE2FE3B5A014EDD9861528A6EF83B657FDD50B813910
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/mini_Agda-TypeChecking-Rules-LHS-Implicit.html
FileSize993
MD5384E6097DFC1B046CCB8895D45E23F81
SHA-102C46E523481081708850068D395832BD7CF73BC
SHA-2566593A9E2D85269C3ACB7C08EB622AE6F81F14A07C6D6C7D4631D6BCFEDD1486E
SSDEEP24:hMNmVpks80Qyh1wnkR+VMiT30QyaeB/ryB/5N7oa:Im3BQseTEQ+B/ryB//Z
TLSHT16D1128156D14AED142221EE4F1F5E70808E3C3CED682494C63D841DBD6CDF99D907386





metalookup is a service from miwakeru.com