Result for D7AF9F8ABE0CEF79AFB82699E78A5869915B108C

Search result
Graph view
Children (661)

Query result

Key Value
FileSize3667124
MD5413E8F4B8751EFCA3E60911F0C64A2F9
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.4.1-3
SHA-1D7AF9F8ABE0CEF79AFB82699E78A5869915B108C
SHA-256079268DF53F5A357E78E144E0817636A5E97CCD3323EC3DDD0F8CD32BF78AEC2
hashlookup:children-total661
hashlookup:trust50

Network graph view

Children (Total: 661)

The searched file hash includes 661 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.Utils.Function.html
FileSize49445
MD5DE8C1D09628B00EAC46263A6E9597DDA
SHA-100EA87D15A3BE965FBFC7EB1E16972B8BC4DB2E9
SHA-2565B50EB6CD370C3FA73A1B3DB7349E7163196B87E6426010A8040F05A4ED4D330
SSDEEP192:dmJ4Yt0PLcgEOV6lZqgXt6BNDSmM6xn3TOTGeex2Yy0lrKHU7Rr8:k4zCgDl8
TLSHT1C42360D0C2F304A91333C5EB65EBAB6825D6047BF3861715E7ED8F6B52CDA04F81A852
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.Compiler.Treeless.Compare.html
FileSize42665
MD5FDF0DAD6E1D3D0471809BAAD1CB2AE41
SHA-10263E5E442119537299465D8CB1BDFE1AB79199F
SHA-2569632CF9D2DEA43BAFED6C52980993572D5F3459F241A38AC458B401C5A0B7F3F
SSDEEP192:nyb+PWF6You+TuBZLwv4rm8kyjc4SA/EL5:yb+uF6You+K7w8I2cd
TLSHT11B1344E081F3085D1232D5EB66EF5B6871E6047AF3872715E6EC8F2B52DDE04F846862
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/src/Agda.TypeChecking.Rewriting.NonLinMatch.html
FileSize250503
MD5BA7F13102EBA1CD2F150F8D435D9D230
SHA-102F90281CFB050954A15CF20AA7EE41E0241B802
SHA-2569F7048D36EFEF4BC585949A98F77DAF7D1336B6C40CAFE372FD5516837DDDA61
SSDEEP768:wCa1V7vE4rkdpTcrU5t1kajtqNLHLhVEnCLVowS7fPE+:pq7vE4YEDay/hVECLOwS7fPE+
TLSHT1643443E086F3046E1232C5EB66FF9B6875D2043AE3961B55F6ED8B3B42CDE04F846851
Key Value
FileName./usr/share/doc/libghc-agda-doc/html/src/Agda.Syntax.Common.html
FileSize493375
MD5403A65811EC14B3200B7479E55BBC45E
SHA-10329F96FE7DD7AD9541263DFFE226084C1054495
SHA-256493A7961C0F3D8BD44F67D44DC8F5817232976066555B822EB7745B44E50AE0E
SSDEEP768:TIe6XM68GTlYqbTlpk177tnTlikLol1TyTIcABlrQHLUqCR+6mrtjvdiZ/DIsvhE:TIGGTlYqbTlpkLTlikDa/+64DIi
TLSHT15EA4C7A0C6F3046A1232C5EB65EB6B7875D6017AF3861754F7DE8B2B42CDE04F84AC91
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.Syntax.Concrete.Pretty.html
FileSize344905
MD5E52B6B741A5CF9E8E7637AAC433349F8
SHA-1046F55047D3296FA66CF8342CF4B3561F6022366
SHA-25600DC03CAC87E5B09FE40A60AC085228FB00208A23E7364C0BE98480B184F56EA
SSDEEP384:4Mtz+s1uDct1RP5IHkIJLhoy06G4VCj1SpyzdAZ8qZiI1p6WELmrug/NjUoDTcv:4Mtp1yko6y08VCcMzdA5Znp6WWmG
TLSHT103748DA0C2F3086A1232D5E765EF5B6875E6047AF3C71655FBED8B2A03CDA44F806C52
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/src/Agda.TypeChecking.Rules.Builtin.html
FileSize406274
MD555A6E0A903C96983E597FFB3B20018EE
SHA-104C8D3C6234D9432FD882782979305706EBDC901
SHA-2568267B827A6BA89A3C28FA4A7F76FF5550AEE70314EB693B675A63E1472214C46
SSDEEP768:aL5Ki7ARCt9cRQPByJqBDPuQBO8vpodvvbadGVsGjqnO/D8ZUYkl1/2o7oBdEZLM:aLAi7ptlBGLErB3eLMwaYkuyR
TLSHT1238483D0C2F3046E1232D6EB65EE5B6871D2043AF3922756B7ED8B3B53DDE04B846861





metalookup is a service from miwakeru.com