Result for CFA809ED154BA36CE32ECEEFA27B1579855797E4

Search result
Graph view
Children (663)

Query result

Key Value
FileSize3790832
MD5F91E27638ADFAC07F36B75EF43E2AD77
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.4.1-3
SHA-1CFA809ED154BA36CE32ECEEFA27B1579855797E4
SHA-256BF5A30361046262E826B991143BEEFA20C863D169C5C05D711C6894CC1D4756C
hashlookup:children-total663
hashlookup:trust50

Network graph view

Children (Total: 663)

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

Key Value
FileName./usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Positivity-Occurrence.html
FileSize99685
MD58056EEE35C50B206F7F7C124AB3F0BFF
SHA-10024EBB39E58C2D51270B58F85C00F8C91111A71
SHA-2568C3D2F0506338BCE12CE87A453BB39FB12FED8FF755A0EB05CAFB2A4B48342ED
SSDEEP768:wQGOofzt50WTTUfUM0FtyXhAApbxQSCzF6Z8vYrCPdE3j6PYUW8EdqQDT:zPoJXZEdqQDT
TLSHT142A3EFA1238021F9DA31998461D5FA1F719326C1B3869F3D39B8D87FCA0DF76A052973
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Serialise.Instances.Internal.html
FileSize253528
MD5CDA7054A72E76A818564803C92FB9743
SHA-100DD964362F3DD7DEFD17D4B883B2C3666733156
SHA-256EB9E9AA20431DBEC8E377DE0D52DD5C7D1BD3C31830AE8B3C0EE869A2F59B4B5
SSDEEP384:U7J7m78LfLlL7z3hfop9v82Zk8kTliIaGhiSJT:C3hfozvQ
TLSHT12044A4E082F7446E1332D6EB66FF5BA831D2047AE3861B45E6ED8F3B15CDE04B846851
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/doc-index-47.html
FileSize3236
MD59C297529E18A9E8EC7D2A755AAADCF81
SHA-101AAB258628F46C3B32B1E6611DA76D53AEE3AA4
SHA-2563FB743E892AC2E303A0F4C47D051DA2DAFFD3D1CBF3597908D4C226AA6E6E63C
SSDEEP48:Im3+MGQPZNV4xlX8GiDpsLYdyklZ6cscJyk0HEk8s8s0kU08s8ZCEyKd3llIAQwd:wFQPS/XVXYpjLFP/T87uT
TLSHT16D61D90A2DCC20278375164CDDD17B1814434EF25B760D87A48DFC4ADEAA7597D0EA8F
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/src/Agda.Utils.Singleton.html
FileSize17591
MD5B880458BC188C103837F596A3F877B34
SHA-102B9F78250E60834D75E05F9B6D70885CC810577
SHA-256BB2820E96A50D614111F7C782A7D8A57A93A2CD89A0681790689A9BBDEEEDAA5
SSDEEP192:lcdQ6tvB2A8SyJzgOZz68TbBZz0bN1Agumi:vTv
TLSHT115827C90D6F308AE1532D0F766EB6B3835E1103BF3D71715E6ED8B6A42CED40B846896
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Monad-Closure.html
FileSize3198
MD53B7504769AE48C1A2D801F99A7D1B6DF
SHA-1043A6E330B1BCD8AFA5293BAB71BF1D23A267272
SHA-256BE8DCA44D49042AFC0C5E79D6D48AFD1F8D47FBD0D6F1FEF11A11EDEA8009FF0
SSDEEP96:Zk/XVn70qKJgGDuOs70PgGDu2GK+7iRYOG92GA0OT:q90qDZET
TLSHT1FD61C0D32654217BFAF26E41A4E8FF44A2C71641D3818A9F70B992F7AE4DF54402337A
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Inlining.html
FileSize9989
MD56C77446D017ED7CB22F1051AB6756C2D
SHA-10487A6E02357E06E79C095D7DA1BDDD2BB8D30A4
SHA-25698BEF43550291AFD5706D867B1CB18E46EC9A5D4F2233969C800219249B692ED
SSDEEP96:mXNCagL6hxmWSHb+BP4shwTcMloleQ1lvcD+bOvsvDpQoSr2bL3Qel4ZGyZh7HqN:m6WWbfnQp8ZhrW/ow1
TLSHT137229F90C5F3046E1232D5E765EFAB6831D2043AE3C72B15FAED8B3A46CDD04F846862
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/Agda-Termination-Monad.html
FileSize138309
MD5B8FA28564E19B053AD3A58BDBB8093E4
SHA-104AD8CF82EF2DF4F4FC7CD3AC022416C6B62272D
SHA-256BCB1EEA273C58302F0E40FEEF1F46840FA7783CC6B4F41847C0F963E0E2259D3
SSDEEP768:rNHaH/pUnXv1zIkE76zR3ausEaO/i/lyKFqcBDIeM7eYVFtZvrasPfHgEXtGR/7U:wUOuna3WT
TLSHT170D3A9E32BD1173ED6620BAB56F8A76EB15359D4D1806D4C70E0B8A3CF49FB590234B2
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/Agda-Syntax-Concrete-Generic.html
FileSize73502
MD5BECC5B03557511BD2E717F1A19D403B2
SHA-1060A14632689824547F94B12CE432286ECC92FC9
SHA-256B2332C0A5FD7F8AE42EBB033D537B4A6D0712422AAE0F003B8C1C2D2A88A91B6
SSDEEP768:zYyOda83pD+C5TXvcUPQ5cvj6BY3p/hQS7T:D4T
TLSHT11D7347B16B8013782B614E5379E0FA7B728327E4C040AD0D706AF5D78E96F3E65E58D2
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/Agda-TypeChecking-Coverage-SplitTree.html
FileSize30453
MD5B81470E59BEBA271DF2DD2B6DD95B950
SHA-106B47F66F2AB502A91C2D6E4E0F0F80D15386DF2
SHA-2568E9E5F1AC716E6A57AC10BEC867651864252A0C72F88EC66CAF8419DF164DD3A
SSDEEP384:U90QTQTSoANTAfhdMgCoyW4fANQjAfceTRTvTNUFtTp8W4kSdTPUWtT+XoXFYtTG:802FxDe1r6SrdTo1JoEHkElaLT
TLSHT175D2C0A623842A76AF325FC475D8771E72C328FEC2815E8D30B494BBC94EF7560E5162
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/Agda-Compiler-MAlonzo-Coerce.html
FileSize2531
MD54D796F0C6A242E142378C8D5DC1563FC
SHA-106D4C9944D5D27E17A2AE8BE4032B1AAA71E3820
SHA-25682CFF2D108850510F7CD7445B7D13D51EE54811B07C73D0D7661C8A63ED83D9C
SSDEEP48:Im3tZNVx4xlX8Gio7j4moARZ1Th1LNVqZ1Th1ZJRpmC6GrJIT:jo/XVn70mdTjNVqThJP6vT
TLSHT12851327366982A3A66C21FC5EEF0B75861C7639191809C8C706084EFEFD6F79C096466





metalookup is a service from miwakeru.com