Result for 9903BBB37BD71D910C845D975BBA3ACFE6742E57

Search result
Graph view
Children (779)

Query result

Key Value
FileSize1929500
MD57F99E5A3F7851C4E2077C8526C3A8A48
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.4.0.2-2
SHA-19903BBB37BD71D910C845D975BBA3ACFE6742E57
SHA-2567877DFFEBEFA02F0DB62BB687096CE0EA96B3775D834D6F98D7CF89BA1F2963B
hashlookup:children-total779
hashlookup:trust50

Network graph view

Children (Total: 779)

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

Key Value
FileName./usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Coverage-Match.html
FileSize23180
MD5128514488CE6AE52F43A989F38B3EB4B
SHA-10016CC917D6EE0C1FBC402B4181E606C91A88F58
SHA-2569EC9048EC141311077D490A705439E0D1CD53CD87910BF36000BFB2985352EA0
SSDEEP384:YDa3MRepyfLLadPNb0nyjpoV//72BTPUtCQTYz1iur0FP7YTmTcYAdFwQHfBHKWb:0RedNxjWx/72BQtJgOYKXYFvpKWIhT9U
TLSHT163A298F567D1653E63738AC86AD07A1A79C352FAC1420D4E70B88BB3CF4FF60546984A
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Pretty.html
FileSize37899
MD558AC6B201312AF61136DFAA4C5443145
SHA-100F5EBF3FD96D4E7A1B0DB282F8AE3A1BCE62E66
SHA-25634CDC5C7ADDDEE2D247F33F042418D4BCE9AF12F49CC9467570B9997A67A73DC
SSDEEP768:HiREQ6yuMumyrtykIMUFHhH36wZxWzPGfmZj+c79Rl7:CRZk7
TLSHT16703ADF127D4727662B14AC690C47A5E35C32CE2D2C1E94E30A558B3CF4EFE9217299B
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-Internal.html
FileSize12494
MD5385CDF05ED3A9BFA32B55446B22F6591
SHA-102743D5882F2BCB9D678863D0E5CFB43F724F265
SHA-256472988A017C10864FC78C966182B20593108FFF93DF6EA9A448C86133F341D4C
SSDEEP384:NTl6Y7fpuHYQvuamA+3X7nbm65MPVLyUwSqpOjt+uHzAd+d83H1jB5Pv3PfnSTLo:N56Y7fpuHYQvuamA+3X7nbm65MPVLyUE
TLSHT10E42F877B7EE643756234DCD66F1A31930A3429AC8138D4CF2B48BC38FD9F519852689
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/src/Agda-TypeChecking-Rules-Data.html
FileSize85916
MD54D60FB5BC08EE41A8FF2A62F8B0EFDC4
SHA-10303204D89A1E903047D6FB31760AE12096781E6
SHA-2562BF3B2A6C98B5D855FD6B8980F47D20875C2875AE13C8E21C2B8F6E84C507183
SSDEEP384:mxYFt+a4QV/QjZSuZ+qN9+ByC+vMWHh30VpFjLWwgkKO+WZqqT2Ig9CyXulWdAv3:2YFwAUc0RWEpKxQBfa
TLSHT17C83F6D0C6F38A362172D0E365DE3FE2B5A014EDD9861628B6EF83B257EDD50B817910
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/mini_Agda-Auto-Syntax.html
FileSize7012
MD53C4630C5907F665826E0750F0FECD308
SHA-10331FCCB6E1AAE318D10075DAE1D2F3C4AEF6301
SHA-2561260AAD346756293892CC2E63C51EBEF7627B3580F8994FAF62D83AE8E5973F4
SSDEEP192:7TDXwbPSB51wUc6VVFphxNBwVlJb5RDzJbM5QHN5EDZJPZTt75hZXxDq:7TDXwL451wUc6VVFphxNBwVlJb5RDzJj
TLSHT16EE193F3A7E5757746638DDAA1F1E32930E381CAC902484CF6B80EDB9F98F535902549
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/mini_Agda-Utils-String.html
FileSize1230
MD50AA7A1DBD923EAD4671AEAB93E645880
SHA-1038F1D083D4A803A114F5C5B775CCDF56A9C84E0
SHA-256B28F7A7B88388A25D633C72354871C467FFF4248C3DD2BD677B8EA96FF4C14D4
SSDEEP24:hMNmVpksvJ21wnkR+VMiTEJUBIyUUBIIySBInVN8BIEBEyjSa:Im3vJ2eTEJUBIOBI0BInVKBIsNjr
TLSHT1AA21E036FF94A99241475FD9F1FEEB582493818AC4020C8CF5A419CBCFC9E9684013A5
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Monad-Builtin.html
FileSize83468
MD52099F3F67079D508735A2CC8CBDF0AA5
SHA-103955139A9717799341537C0049B57B024B49E9F
SHA-256D9FA785C44A6D73145C071A024FED6CB761B9D41003F213D99F2AF227D28CCD0
SSDEEP768:jWRjlaoRAuou8AfvbUy/qNmRp6Lo4WwTRwrJ2RmxgtIvc1ArKz6IiE4YEXeZ0ihq:SRjlspI7
TLSHT140836CB2A7C4A07BD2325E84D9F07B2DB2833CF6D1428A1D70F459A7EB5DF5414221A7
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/Agda-Interaction-InteractionTop.html
FileSize71501
MD58BF99315FCE2661546E7FBF787093AF9
SHA-104843E560B8FAF071B627FFB68A88F57E8BFF208
SHA-256A92440A0EBE1AC2CB0D8C09290362E8E964C9E9D93AF10756F6A436B221C7E5A
SSDEEP768:bsRBOq6O5FjzYkW+6lqh2ZPGTw+5ejl9I75xQvVOF9Kx5df0T7j3EsjTOc142bdA:YRBaO7Muzx2CKBfIEMqUz5hbA17
TLSHT1506301E1B3C7723A726359C565C2765E7AA328E5D1544A8C3CA89C47CFEEBF41083392
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/mini_Agda-Utils-Char.html
FileSize965
MD5919A93C789CFC78DA8D3E7F0934D9DE8
SHA-106944230B81CD305DA0F59164D6E4B62C013795D
SHA-256F3FD10BE8CDC7AC664A58C1B79283E6AF823763CB1D39D055103BF426E82AF56
SSDEEP24:hMNmVpksvJd1wnkR+VMiTEJvBFh+zBFy+OBFPr+9D5a:Im3vJdeTEJvBHEB09BxrSA
TLSHT13911E13A6E65A86641425DF4F0F7EB091897818AC5018C4CBBD401C7CBCAF9DC5022D5





metalookup is a service from miwakeru.com