Result for 8DA9B0B324035E87F03FBEF2F3769FE8360EDCAC

Search result
Graph view
Children (959)

Query result

Key Value
FileSize2560524
MD5ED8E86F6F51166DE833001A669E04E91
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.5.1.1-3build3
SHA-18DA9B0B324035E87F03FBEF2F3769FE8360EDCAC
SHA-2564FCD524D0ECAB93960C5E8032F33BCAAAF344739028DDECC76D37C1DB754E7B1
hashlookup:children-total959
hashlookup:trust50

Network graph view

Children (Total: 959)

The searched file hash includes 959 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-Rules-Builtin-Coinduction.html
FileSize39534
MD59971BDA96893E0E83176533DFE41B1F6
SHA-100511E1BC92BF51F0C83D4BE86E4938BBB4B12FF
SHA-256AFD45473B0C11AB94D3F127322AA877F289F1F6A953031A53EF2BE42DF7D7E23
SSDEEP384:mxtTkofr3Xis/gx22ZBf5cW4IwRgIIjNcsEOI3crAgCd+3EbcZqss0NwJH/iDEnk:ktAofj3/g5Zd5cxTSP/VQYhwBYhvemD
TLSHT11603C0E0C6F386362176D0E365DE2BE3B4E014EDD9861628B6EF93A657FDD10B807811
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/mini_Agda-Termination-CallGraph.html
FileSize2960
MD54E842C0E21953000CBCD65FB0AEEE1BD
SHA-1013AC21B0038169DABF450F956253210B7A2939C
SHA-256A12773BC48CC97ACDA543B6CCFD53EE909B11A6CFB82FA5FFC50F71C3B274035
SSDEEP48:Im3ygT2CZsN6qsN63J7BD64BD6PBD6oBD6L0BD6IBD6PWS6fJRBD6LeBD64BD6Iw:xT5ZEttH63vnyWp3t3Hn3MyfL8
TLSHT1D351E7BADBE5A77341134AFEB2FAA35D24B341C8C9438D4CB5E409E2CF84FA19513156
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/src/Agda-TypeChecking-SizedTypes-Utils.html
FileSize6797
MD55D03C98CA3FE4F4EC78F39EB11BB475C
SHA-1016CA5396528A8A05A009766E426CB6977BEA412
SHA-256214CDF1D022CCF71146E8C4A2D50C3384E68DE6C5868084112A95C73925331E8
SSDEEP48:clmIJrD7/vUy5D8DMDGr9FDaZcIwD2IN95DVDkXk41x8MrIw/6ELO1XLAKw6yZVc:cF3UXKmVx5wWRZEEz/
TLSHT144E11BD0C2F38A362172C0E365DE7FE2B4E054EDD9C61668A2EF53B697E9D54B806C10
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/Agda-Utils-FileName.html
FileSize28857
MD5243F6F3CD3C5433CBB965044EF4FAD4C
SHA-101EF889BD604BE2ABE9E7578501B1DB9EA5EE88E
SHA-2567B80BD06D134A118680B75F38373CDF716FC530B056B38FAD40B6393C54801FC
SSDEEP768:zyRxJxWmJAeMDIcJUqxWQC5G4srfhrDDua:GRlAPoa
TLSHT1F4D20FE123D1623A561267C6F9D13BAF719340F8D2015D0CB9BCAD83EB49F78605B6E2
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/src/Agda-TypeChecking-Tests.html
FileSize19437
MD59C382407453CD7B642E3AE6355A43909
SHA-102550DD8E24BD80EB5D9ADF3312EFCF76E1C17B4
SHA-25658E2D425E948840181CFC03DF7A2E268891453FD1D854509680C07F9688C523E
SSDEEP192:mijghYz6BGLfyk8Nz19B3yNx5NGRcMLQHPjuzjglTWPiHjlMScIcQcAcUcL:miRONhix5N+cMLwbuzjglTWaDq
TLSHT1CF923ED0CAF389262173D0E365DE7BF3F4E014E9D9860628A6EF877657EDC54B80A901
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/src/Agda-Syntax-Translation-ConcreteToAbstract.html
FileSize518292
MD5E5AA240D5A9C8BB4D1A3C6B69C1E1D61
SHA-1028BBF4835750AAEFC67AB834C7770FB0A182346
SHA-256CCDCD2767AA64CD24EA49CC9624E62FF82D0144CE4FF19AEA5CBB38F76E7406A
SSDEEP1536:pnWd3QN1V1ynNeoyKtwMxt0lafbr/EATIxkoR4TE3ESErHjL9G4e97D1TDEARwAE:pnWd3QN1V1ynNjrvIZ4TE3ESErHjXn
TLSHT1F8B4CFE0C2F38A262173D0D365DE2FF3B5A014EDD9861968A6EF93A657FDC10B817811
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/src/Agda-TypeChecking-Monad-Open.html
FileSize11561
MD51F302E94775D0C37D046FC974937F8CF
SHA-102DD897689DF0EF49EE51486E99EB8EBD11846D8
SHA-256FA7AAA82119E388DCF4A9975B5DF519D2C55C96A4996176733DDE414C6348FAF
SSDEEP192:m7f7jEBXEEEIjdNCyVrOcUzOMad+EQvCm:m7zjSLzSIrOkrCvCm
TLSHT1173229D0C2F389262173D0E365DE7BF2B4E014EDDA861628A6EF83A657EDD54B813C14
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/mini_Agda-Interaction-Highlighting-Range.html
FileSize2443
MD530AC7DE4CEB7673D79296A441EE833F8
SHA-1030EBB9D0296759510824245A2785A950791DE91
SHA-2566B6B004D4DA259200574EDF122E1765C014760AD3E5BA110C37395856810E4D6
SSDEEP48:Im35kigT+kICBKkCBnXBdB5BdBJBBBY6jB2AB6:qTcCDCJPrfLzfMAU
TLSHT188513776EBBA792701075DEEB1F2F31D647344C9CD028988B6980AC2BF99E994453285
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/src/Agda-TypeChecking-Positivity-Occurrence.html
FileSize57510
MD5C81419C180C776716F064043BA052A17
SHA-10322BDC9B732901E20926E5DB4F4E712006C8828
SHA-25698DD047E5248FF1791255B377CAE0DCEE55E48DC747852F5197BCCC358C07DFD
SSDEEP1536:0HYsnkCRHLtmDaxV72NCOaEeAsUOAlEsQsLrcao5mk:0HYsnFOaEeao
TLSHT16743F4D0C6F389362173D0E365DE7BE2B4A014EDD9CA1628A2EF93B657EDD14B806C14
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/src/Paths_Agda.html
FileSize12165
MD5A72FA5281FA077F99315D52E6D6F72A9
SHA-1039AC41DA3D919C09A8F380245C66EBCE22B466B
SHA-25676D51253F76E7923ED6D423A3AB7AB31A60AC3EDCC363C7151E1EBE31804325C
SSDEEP192:m8DltMuuCuHUuOlRnsZ1zsQkBmA8T+fHUuOT4Y:m8D8uz15guK
TLSHT139423BD0C2F389372533D0D6A1EE7BF2B0E058EDD9861529A7EF43A697ED804B816C11





metalookup is a service from miwakeru.com