Result for FC3AEA5E61989C0DB7D576945E6C3908CE709733

Search result
Graph view
Children (1107)

Query result

Key Value
MD57B3E9BF87189A1763CD208E9F8FFF4C9
PackageArchppc64
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-1FC3AEA5E61989C0DB7D576945E6C3908CE709733
SHA-2568D6CCD1ACCEA302BBF6CD70F8DCB438BEF6F49811CB336C37B1A5B4CDC7F369D
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/lib64/ghc-7.4.2/Agda-2.3.0.1/Agda/Utils/FileName.p_hi
FileSize23609
MD525FC05810D3C7489B30E2886A8DC69DD
SHA-100B15B0C3DCE5853F48439722EAC823F92F21DF6
SHA-256100438F38DD66E3B1D2BAB66107E351E75D7279A42AA42CE13D1A53566C615E0
SSDEEP384:TabQSNwXmWmbVdichxDoWktIpBFnuouR1Gps4Hqfpd4Hb0iMlZJMRYfQjkUGxVRx:TJSNwXmddi2uouyHqQHw3lZ+6fJUGxV7
TLSHT11EB24007AF04DF22ED381B36C4AB07A93725C7F7A943C76FD98CA6607C434A82E45599
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-TypeChecking-Pretty.html
FileSize53105
MD5043E9A88864C024AF7BEFDAE03B297A6
SHA-101B77BE76A5F3277A0549E3A0AA3ACD540E8EE43
SHA-2567AE95B21D422859AFEC826B355234C6C0461796C180365BC024CE88AA2E33486
SSDEEP384:mhCyRsUHL7awT+t8uglDLS55yu0mvBt1KUGRi034bfeQFLQKnD5QL0gj7SEeFz:eMklni
TLSHT17033E2E0C6F38A222173D0D365DE3FE3F4E014EDD9861568A6EF93A657FAC50B806911
Key Value
FileName./usr/lib64/ghc-7.4.2/Agda-2.3.0.1/Agda/Interaction/Highlighting/Dot.hi
FileSize14613
MD53E2DFEB29AFEBFA3AC018F2F3F2F695D
SHA-101D75E0384DF12D4881743D4D2BA147D429F8121
SHA-256EEF312D0CA26DC279AB7889D29043A99A41CA13492CB89A0F0BE3450B9906F19
SSDEEP384:TwNa5pdUoecvYpYfx+a3Df6odXIahn6Y6RI:Twc5PUGHJfl62
TLSHT18062A7B54B145A25FD7008BECCEF4B006760BA11F942E7EB52CDB463298AC8D0DA35F9
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/lib64/ghc-7.4.2/Agda-2.3.0.1/Agda/Termination/SparseMatrix.p_hi
FileSize124932
MD517AA866E5EF042B37E84AF1063423B43
SHA-10250BA157FA79B4D0922C684BC6FB939C6CA67E2
SHA-2563E1427DE5D39A8CBC93F85ECC344492FA24E583E5B9DC6082FCD63A29C53150C
SSDEEP1536:To/YIf2YWWLsnwpvw1piAZUR8kxVXDxN6gsfN21lAUw1VJySF4WXQJkPpvtpdB89:kwIzl/LxN6Y
TLSHT1B5C3AF4A9F05E913E9354B3698D607143BA2EFE13E02C35B628C5573EF63CD90D7268A
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/lib64/ghc-7.4.2/Agda-2.3.0.1/Agda/Syntax/Info.p_hi
FileSize124748
MD595A706E8CC5782F7460707177580647D
SHA-102C6FD6DFC67D31FA54399E3C88AFEC71513D7DC
SHA-256CF512F1E7C6B8CD76DA12B0C589F8B4BC44F94BD6989E6EC348A219729DD1B7D
SSDEEP1536:ThF57bJBLzuvYx7JEyMQDi6chbuXDSzPPyw4tfIBsxxcXkMSl0fb:v5nWbnF
TLSHT191C31016AF05CE13EC7806B1C4EB03257B06D9DB3A05E79B515CB206BFAB1D06D628DB





metalookup is a service from miwakeru.com