Result for 1FD4076A51ECB6E75E00CE184F0E007C8A2B2EF2

Search result
Graph view
Children (963)

Query result

Key Value
FileSize2649336
MD52E01F07A198753A99486B11BB50F8A06
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.
PackageMaintainerDebian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
PackageNamelibghc-agda-doc
PackageSectiondoc
PackageVersion2.5.1.1-3
SHA-11FD4076A51ECB6E75E00CE184F0E007C8A2B2EF2
SHA-256A24383CF8D920131892A0FA5E17F38945E5C29CBBDDDAC33540280DA03AC8441
hashlookup:children-total963
hashlookup:trust50

Network graph view

Children (Total: 963)

The searched file hash includes 963 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/Agda-Termination-CallGraph.html
FileSize24276
MD570691FC20329CF036A361831F0A2CFBD
SHA-1005EFFC9680B20EF7DFF42F3024181F380905605
SHA-256B15990FEDE8B4F86294A8AAE542BE89D2FACBC8DA3D593DD3195989C625D46D0
SSDEEP384:dmq+TcTMMRAfKHI23+jycbpWUT8T2YwTNwT/TlTra8kPRwaU2aWJ4H:6YjR2Ko23+jycbpWUQHwRw7pXa8k42aV
TLSHT1E9B266E1DBD5537A57A207FBA2ED275EB6A325E4C583CD0C75F4086ACF08BA06823057
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/Agda-Termination-TermCheck.html
FileSize4025
MD5C2C67FFAA378E90432A66997D1028E45
SHA-100AD2AD63ECC20A683DCE6B19276AE24F859F19C
SHA-2567ACD24B50DAD6031E8F4C4E0D3896108CC22462F00C2BD415395EFBE46DC1AD0
SSDEEP48:Im30S44GE4V4xlX7Gio7qB2w5q8gAM0L+749M+iFS9O6L+7434woag7sn+MR4TAQ:X/X6n7qEw5q8x6J+AJ66kbiC+MIHuxsH
TLSHT1648100E15BD12277A2A30AD6E5F47B2D71A785E5C2424C0C34F814A7CF89FE4A6431EA
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-IO-UTF8.html
FileSize4898
MD5203A90CF8CF76B95678E29CC3A8EFD76
SHA-10213F7DE12E2D15C7BDA2420D3051B0C4C691DCF
SHA-2562040AEC5DD4262376BD182AD56F4B4F211258EA88C25AD4A13D983EFA06DBC52
SSDEEP48:Im3vJWSkmA14xlX7GiogqEJZkTBWb2w5q8gAttYkiUAFnziU9AbtpiUvitYkiUk+:JV/X6ngqEMTBWaw5q8hynKdiMWT46AGH
TLSHT1B2A1ED51E78191F9D752CEC0F3D6A61F2347A1F9D240CF48A1ECC95BC789BA8458B3A2
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-RecordPatterns.html
FileSize5745
MD5356BA3087C13B58D810C11783A6D3C20
SHA-10228FBA26DC09AE4D0174E149FE6E7C31306720E
SHA-256F924F870C8A147EC079D49D264EF1466F07CFC5F6BDCB860DA47C4F9F494C944
SSDEEP96:zx/X6n7qEATqw5q8ODE3P9PT51qw3NwaN6G3E3P9Pr51h6Ntd6R1qALaBk3NwaNk:NmqnTqMRODyZLq8bt3yZr51hgd2qAOB1
TLSHT1F7C141B5AA4E387D93B30BC89AC43A0EA78792E9DA514C0F71B803D7DF8DF446465017
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/Agda-TypeChecking-Rules-Data.html
FileSize10590
MD5D85663B6F097B991F649EA560B53593E
SHA-102BB5D7EFF4A94D037E2215299BFF07D04312169
SHA-2569EEC0138F5042F35C6CC5FD910F8936915D8701393D5EFA7051E4CE620550BC6
SSDEEP192:/6bmq3TmMRhLDZIueaAcRlAxtTn3UuK+jFDMHnpXLMJ6DH:wmq3TmMRhpIIlYTn3U7+VmntMeH
TLSHT18F2230B177D672B557B15EC4AAD03A6E314312F8E6418D0C30A8C9A7CF9DF3070A62A7





metalookup is a service from miwakeru.com