Result for 026B7F2136D9A544748097B1A3B427E779E7D3FD

Search result
Graph view
Children (1107)

Query result

Key Value
MD58E5776D49E0FF270CFD97428ACCC8AC8
PackageArchs390
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.
PackageMaintainerFedora Project
PackageNameghc-Agda-devel
PackageRelease10.fc19
PackageVersion2.3.0.1
SHA-1026B7F2136D9A544748097B1A3B427E779E7D3FD
SHA-2561D79CB7723FF59556C02D2BB7DEC8C0A2350801EADE545D9871E0767BBE090C7
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/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/lib/ghc-7.4.2/Agda-2.3.0.1/Agda/Compiler/Epic/Compiler.p_hi
FileSize15901
MD54F22CA134709F8968B3D1BE93B6D1CEB
SHA-100841090CE98994D1D4658AC04F7FE97A6A93CD4
SHA-256F74E25B29C63743715DD87B3E493A7C8B5E4C06452E141F046FA56207FD88934
SSDEEP384:ZhKjJHbQ2rUk4AIZUJU4Etf6/4noXQ9LLbw6Z:ZZk4AIrztfn
TLSHT19F6260A86B1C1A74FE610E7A5EFCCB011B90BA229943DBEF14D9D1E3254DC9E0C63634
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/TypeChecking/Rebind.hi
FileSize6009
MD5E09E356DD233F87BA2F109D841B92C28
SHA-1019DA0540BC0D24FCF43EBC9FEE8687A3A5FEC39
SHA-256A7E92A9E5D43906106C86453E145BF9680AED64A54716A51864D98ED85E0D100
SSDEEP96:ZHO98RxEAmv/2iA7Y5znYf8ooDT2k4o6+qy+OXrtTjWwU72q/PQ6k1FlUv1cD/+b:ZHOeRxnmAP2A5+qytXrtTjWwU72q/PQo
TLSHT108C11EB8564C0975FB610E7B5CFE8B104B906A23D682DBEF11D5D2E3198DC8F5CA2934
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/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/lib/ghc-7.4.2/Agda-2.3.0.1/Agda/TypeChecking/Monad/Trace.hi
FileSize18707
MD5F3BA0DA25A05168E2A8BE3EB0F4FC0D8
SHA-1023B5B818443A2B51094F641F8E4173E255E510F
SHA-2564045F1E94F1EC5037D2C7164FC1DC1DA2E55B4477EACC9685EF9789E9FB112C9
SSDEEP384:Zh5nw36QaVbF/Kz9LIsLiESLLIvJVb9/wT4lf6b8j9BF8p24oN66cC:Zh5nsLjLiESLLIDfS8j9BOp24oN9
TLSHT1B18255DD6D50C612EE95043AD8EB4B016B72AEC3E482D6BB609CA093BF571D81D7393C
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
Key Value
FileName./usr/lib/ghc-7.4.2/Agda-2.3.0.1/Agda/Utils/Pretty.hi
FileSize5981
MD5C683A299EEF107A9AB2D08326856F827
SHA-10302402B8DFAFE509DC5B01E09D21F8D05E5E3EA
SHA-2564A7DB6A137979CD34BCC772FF7647E7EF0FCD7BA8F888A6540427E3405C5D353
SSDEEP96:ZjDqlR2trVdhvpHuD/bbYVHfI3gE2pAGmGMj8b+0J/ra0O6j90nIvc:ZjDqyF1pHujYJIwTGGmp8bP/ra0O6j9o
TLSHT166C12D9DDE54C406F7740A77CCBA0E02BF63AAE21AC7D74750B951322D872802FE895E





metalookup is a service from miwakeru.com