Result for A685C5142C355361829408478F5ADFDB04E8AECA

Search result
Graph view
Children (961)

Query result

Key Value
FileSize2369772
MD5C0DDEEF6E05922EE0333755CF153F817
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-2build2
SHA-1A685C5142C355361829408478F5ADFDB04E8AECA
SHA-2565F4C354FBAAFB6E06BF8A71929AF1009E96E79358919921F4B36DC807F42AAE0
hashlookup:children-total961
hashlookup:trust50

Network graph view

Children (Total: 961)

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

Key Value
FileName./usr/share/doc/libghc-agda-doc/html/Agda-Interaction-Highlighting-Vim.html
FileSize5178
MD5B342227ABAAC9C4B11C1D9965D2A3F6C
SHA-100441852E3C4FAA24217317E3EB1E56090864DE5
SHA-25648ADAA59E1719F68875656F56A58EE3DA363EFA9B1292A64C1EBB8978B332790
SSDEEP48:Im35ScTi4xlXaGio7q+7Ean3k8Hiii2WWHiiiLmHitiTiRyHitiTirWwjiCiCiCx:5/X/n7qYE+k8MWmmqyAWweOsRwi89
TLSHT180B1CF52F3C255FDA3058E84A2E1666F35832CE665109B98F0CCC88BC79CBED514A373
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-TypeChecking-Monad-Caching.html
FileSize1850
MD5288361ED276ADF11D587063E13933F33
SHA-100B9478F16A23EC6068E635B6CA8F02F6846E7D9
SHA-256C50B4ABEAB57B0C2AB1FEB620BEBCFAB7266F53D041CEF06300A6C996C9906B6
SSDEEP48:Im3WeTSMB9oB9SB995EB9qjMB9iB9k82Fu3B9xt:XTZMmkOjMmo8xv
TLSHT1AA3101277F546473A2B31ED5B1FAEB181487418FC6034D8DB5A918E7DF8CE828153175
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/doc-index-33.html
FileSize3386
MD588008F9D977E4C5B555EDDA57164A804
SHA-100D8C26FB56BC730C9918A92B802853C07A00F3B
SHA-2563DBAD8AE4BA5AF5141DB5F64FBB4ECB3038F2F3073998CDDD4C5F13BC730F41E
SSDEEP48:Im3+KGJj4xlXaGiDpsLYdyklZ6cscJyk0HEk8s8s0kU08s8ZCEyKd3lleIAQw2KF:wPm/X/XYpjLFezLTTA1hKLV9
TLSHT1BB61DC492DCC20278375264CDED17A1824434EF247360D87A49DFC4BDEA675A7E0EA8F
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/libghc-agda-doc/html/mini_Agda-Syntax-Translation-ConcreteToAbstract.html
FileSize4130
MD5A4125471E15E936927FC1F39B322F39B
SHA-10168655D6A6D5A92B8DF2D75C31A4687ACE392EA
SHA-2564C2A8F9BDD2628903464709A76C0405D0D241E06D4912F9E7E224ACA3F134E65
SSDEEP48:Im3TOeTecou8vBbuXrBbuJBbuNbmuXmuEmummuoyBbupmuVtvt17muDmu5muERmJ:fTvQvgrmAbNycWy2h5XEtkoPHe85i
TLSHT1528129F2A3F6D762416309CA62E4E3BD34E39589C9128C4CB3AA5AD78FC4F913516891
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-TypeChecking-Injectivity.html
FileSize6812
MD53F61AE97153D5A10C7E72D6001ACA93E
SHA-1021695AC494C9AD46EE97E1B4D3F34A926F73A87
SHA-256FB986FAF42878B7E8536B72AB73F24F5AC3CD9B6D551260821CD01F971E69FCF
SSDEEP96:n/X/n7q2w5q8ey31UPv3tiPMLX6at5y3XMUPxc3QECTj5iPvoECT6VcX6ayH9:fDq2MRebiu5KnxvECTjGvoECTw7H9
TLSHT1DDE1ECF133C9727AA3B35A8599C47B2E35C311E6C2814D1E34B898EBDF8CF906462597
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/Agda-Utils-Trie.html
FileSize14555
MD5423EE05DE7FCD7A3754D038C7EBE0A3C
SHA-10245CA07396C18EB527D5DE5151E26853C37F90A
SHA-256EBED6F37A5D0B4390C7F72A4856D229DBB4D7F6E55C89F90508078E2DF8E0437
SSDEEP384:QDq2TpMR2Q2Q6q9pxXrj1kNufwaMSq/eaFabVoNyhiXWCOrWvOKwNejB9:mCRDONuzMSQ7gQ4a7AgOrN4B9
TLSHT15862F3A183C197FA96524DDDAAD43A2F758312E9E441CF0E306C8A8BCB4CFF515291B7
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





metalookup is a service from miwakeru.com