Result for F71167EB30EDF3F9CF172B37B33619881451141E

Search result
Graph view
Children (712)

Query result

Key Value
FileSize5767640
MD56333359F79E383A78CD124FCC01D133B
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 provides the documentation for a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibghc-agda-doc
PackageSectiondoc
PackageVersion2.6.1-1build1
SHA-1F71167EB30EDF3F9CF172B37B33619881451141E
SHA-2562FCDB8567A7DD7D725C0C00D36ACBA49D943301FA2E90935D34821D44FAF6ECF
hashlookup:children-total712
hashlookup:trust50

Network graph view

Children (Total: 712)

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

Key Value
FileName./usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Generalize.html
FileSize678554
MD5E5AEB2CCD02A3859831BE2D31CAB8DB1
SHA-10015593EE377157C287977B8774348B5C5F8D680
SHA-256F09368A5B77D0ADF90F9325FDFC740682DA19B5BA0ABE8FD79BFA047FF92F065
SSDEEP1536:V6IGxrJMoEAlHMqRpiGl5oT97jOlq0H4OVUcwmd98HoHitkl29MpvcjHdJAWMAsI:P7MNuGm3SUYVPAVUMPJKcC7Y/
TLSHT1C9E4009592F301A62172C1D765FE6BB472E1023AF7866625E3EE4B3E07CDE11B442C63
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/Agda-Auto-Typecheck.html
FileSize43679
MD5C4105AD0DE5BDDB0EEE041F2137DE8FE
SHA-100501D67C8D6B1B903FA1ECA3CA02A18E9B84983
SHA-25680E1EFDA59D5CCD925D9B5CCC5A63F808F9621800B266A0ED64C2A34081CB548
SSDEEP768:mCA0UWHDx/mmQHVibD9FTN9jXxVG9LRLT3vDmJFHmNFZk/1/LJ/H35/KGPzHd9c4:rCs
TLSHT1E913C0F31BC15B7D2AA1CD63C8F1E678B08383E5D6815C5CB171889BDE5CB3B592188A
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/src/Agda.Termination.Order.html
FileSize173205
MD56A678BB35716B10FC5A63B10C915D1D0
SHA-10070BE3A2F2726EC5BDAAAFD4E9C4063B968FAFC
SHA-2564ED8A0B16A053EC690A138481319AFCBA345A0A6BA0D0BBB4ABA04E96C2DF197
SSDEEP3072:CIdTlLAuWuvuMnLLuTHfQncZag8GuOu3uu8u:CIdTlLAuWuvuMnLLuTHfQncZag8GuOu7
TLSHT1B304B39592F301A61132D5EB62FF1BB4B1E2113EF3862625D7ED4B3E16CCE15B842863
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Monad.Closure.html
FileSize19773
MD5F6364359979C058723151079FE5F4361
SHA-100A5EC1EA9F98112185C1184D2B0BB8506763058
SHA-2561643A00EF19DF145540D0274F2E350ED7E4C876FFB7A832FD663666D2071606C
SSDEEP384:i9qeeeh5hV0WQdKYLIvz31GjeexGp9MWbGee6CmJ:ikeeeh5hV0WQdKYLIvz31ieexGp9dqel
TLSHT1EA92E59592F301AB6272D2D775FF6BE475D2013AF3862261E3EE5B3A06CCE05B442D12
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/src/Agda.Compiler.Treeless.Erase.html
FileSize261488
MD509EAD8C576F24EB2F19E5064348C7DC8
SHA-100B2B684D42BD80B63EC2FBA3276B69273B8D6F2
SHA-256579F4F95E1BD63DF4755859AEBC855449ED7E91AD22514AC065C021EC79BF6D2
SSDEEP1536:OGExF3qepPf5xVIE3AyPQ4RrqwsvgOu6iK+Ql0kq/lMvWGAWcLAkJsXnHDKGajay:Oos
TLSHT1BC4401A597F301AA2172C1D7A5EF27B471D1113AF7866624E3EE8B3E47CCE14B442863
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Conversion.Pure.html
FileSize108589
MD54FF9D5EA1CFA8F4B75B7132A2D821F23
SHA-1010A2BDE03A7298E78343B5D936FE3C81BFCCCA0
SHA-25682660B64F811EEE0A09568A9446BADE3130B3BAB69F5153A18FF60E141D81418
SSDEEP1536:TjNRE+VjlRFJ7t0xP/eebeeeee/eeecweAMeeDeM0i4PXLrfneKrbqwPXLcfq147:j
TLSHT1C6B30395D2F301AB2172C6C765FF6BB872E1013AF3871225D2EE4B7A06CDE44B452963
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Free.Precompute.html
FileSize98248
MD578BE99CDC0D91FE099861E3208F946EA
SHA-1013D37F974D73636AFE55984CF8CB33F0CA69549
SHA-256E158094124AAA539CEAAFA224CBBDBC4243BAE04799EB38E0365B2E5597D7772
SSDEEP1536:QtJsoU3iqSKKuyEZ2mejlMZ2Qr41yG3eJzJzuPX0up6fhdhng/BmANNDkPx3F139:n
TLSHT1DAA304E596F341A72232C5C7A9EE67F871D20139F7972528D2EE4B3E46CDE14B442C22
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Patterns-Match.html
FileSize27993
MD56E1E697607E21F7ED1B04995C439D7F5
SHA-101508670E9AF0CB095E4D7A6EE2516C7C9FC0C94
SHA-25652074B7EEB85DD2D868A34D6B1BD24BA81E97C19F67C59ECCEB9590C26B317D7
SSDEEP768:Zrws/V9/sFCP1KqWga5OKS0BB6bTyZecs:dwsIC4s
TLSHT18EC2CEF257D9193A2B724E4905D43B68B58343F6C5C28E8EB0A29DB3CF8EF355069487
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Primitive.html
FileSize140704
MD51CC379A04935ABA874433E9F11F4BC07
SHA-101E43B3641D8BCE62B63130378A7E7A12E9F6800
SHA-2566257C4A7C862BAF3754E1815D6D69C88BA27D6749A4FA5965D339183C4D6AB9D
SSDEEP768:uE7H/5JBYapTlXeaD6gIceo4NKMQ/UYgJtVvJsDRdlNoSZLvCKWVHnzkkaaKJ80t:d7Hn6KgbzTV9Yas
TLSHT1A0D3D0F22395317AA6714F8595DCFB9AB18325D6E1829E1D30B188F39F0EF389072167
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.DoNotation.html
FileSize88157
MD52DA8CDDC9F4D60443E5044F49B37D2F7
SHA-102084DBF8C4791878D46976F993F1FAA423F41A5
SHA-2566BA7F9902194E3BC73178128CD97A5F1E26FB658E3C131F194CA97EA6D65C3E0
SSDEEP1536:VgKXfPPs1GsARPXNP/5lfFsxFweC1tK1q1FCXWac6QYSTkSpsDOKqxlqPKecqmwM:Gkxk2X1A1q10XWZ/MJsAwLf
TLSHT1BF83F3A5C3F301A62232D1DB65FF6BB572E2013AF3866215D7EE4B3A46CCE15B442853





metalookup is a service from miwakeru.com