Result for E6D26BD14E31F5D05517DBBC44EAD61ABC06E237

Search result
Graph view
Children (622)

Query result

Key Value
FileSize1253930
MD5242CD2381A5EA00CB56279375ABDFFF9
PackageDescriptiona dependently 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 contains the documentation files.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamelibghc6-agda-doc
PackageSectiondoc
PackageVersion2.2.10-1~ubuntu1
SHA-1E6D26BD14E31F5D05517DBBC44EAD61ABC06E237
SHA-2568B66063F0D5458051CB6141122C336587FA900254412D07F27547379C1E55604
hashlookup:children-total622
hashlookup:trust50

Network graph view

Children (Total: 622)

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

Key Value
FileName./usr/share/doc/libghc6-agda-doc/html/Agda-TypeChecker.html
FileSize5686
MD5DAFC6B1AFB1794798D4415B01600DBDD
SHA-1001A5D9C98908A32191CE07C6607699D5FDF5779
SHA-25622CF1F4A1E926F8F6B576F52239B8925CD093B33C5303F1FC9FEB0E7A7491A3F
SSDEEP96:HlsRVOULuZZzGgTwRb9GNTwRBd4TpHaHLTd4HLBTzHWZzGgTwx0T2GNTwP4E6d4U:HlYVdyqwq0xsn4rVG
TLSHT13FC15CED234590ABADA17D03E0DF91292C55027D27C1A91F345C449E4EDAB3E24BBF2E
Key Value
FileName./usr/share/doc/libghc6-agda-doc/html/mini_Agda-Version.html
FileSize621
MD59DD36214A8C115D9D4287A45209BD01E
SHA-1009A6F0328FCFF16085716015738877D4BB7386C
SHA-2568C559B879A79D4FAC7F124A78156D75CAD50506BEF1FBB1AB04A67AB821CEE5F
SSDEEP12:BMQbwuO4x53uJ1bzq2Q8mMfXK9TIc98mjW6bLfpzYVBLMazKQGyWx10:Wspu/b+IPf1x6bLfpUVtnzxGyl
TLSHT1AFF0ACCE500BB66F9082E358F2CBF0855E3A43830289ECDC1C9D850972DDA5E849C576
Key Value
FileName./usr/share/doc/libghc6-agda-doc/html/doc-index-B.html
FileSize29716
MD58EAABBE9663803DEF21C64E813EEC33F
SHA-100F869DDA725B59D354C6EAA75D9F2798A63A47A
SHA-256CE42FDA68F90E9EC0BBD4EA365269E89F0C12A43C1A369C31457211DC299C0FE
SSDEEP192:Hl0dgIC48KPNEFj7VT/btrulxflR9FwPtniJsy1xe7d70fr98Ca/g9GYvOCHI+o1:Hl0dJHEbtSfx8Ca/g9GYvOCHvqduOuCL
TLSHT1ADD2C1DC1702501F9DB13A02D4DFCBA9A88345596B81FD8F2A1E917916FB63D00EDA3B
Key Value
FileName./usr/share/doc/libghc6-agda-doc/html/mini_Agda-Syntax-Info.html
FileSize1903
MD5E1E5B5F40F033B878D807202BF315357
SHA-1010AF2F088C27AC2199DBDC1455A851A4C253EA4
SHA-256791AA4EDB1924DE098F254989EE95AD13910621E57B021CB43EC754C4CB5ACF3
SSDEEP48:HAz+IeI6HMSnHMzOHMl8HMn6rHMfLSHM1FHzHMfF0HMu/HMjOHMDS:Hl5HDnHKOHg8Hm6rHsSH+NHwaHr/HwOP
TLSHT1F14128BF3A13B087DE0ED944E9D2902E640463D12320FD8D2508C84DE9F97A7ACDE819
Key Value
FileName./usr/share/doc/libghc6-agda-doc/html/Agda-TypeChecking-SizedTypes.html
FileSize14183
MD5F3BB26A46352496B5E02E478ED05E35A
SHA-101EBC57553ED5F325A2733F3B58123C698CF419F
SHA-256AEABCA0837A19921F3E5E419D3CA22CEE0853D46A078D1F8033DC6A618F32A51
SSDEEP192:Hl3hdDf2o4K9efS5EcjIYHRmz4K3DoU0G:Hl3hdDeYimG
TLSHT1ED527CDE7306606BED627D03E0DF82252D54063D27C1A55F342C549E8EEA63A247BB2F
Key Value
FileName./usr/share/doc/libghc6-agda-doc/copyright
FileSize3421
MD55A828C11D66B7E9AD78BFBB332DE1403
SHA-1020D2741715074B5231ECE54D685507DFF61F836
SHA-256DCF921E14C04A3F335FA5F80E9995036E8F22ACDBBD7ADA9AB778F61985CC8A1
SSDEEP48:guiDoR3M1OSJnlxEzFlQHms52/to3o4FIO9JQJzahVPvKf32sruT32s36t813ofL:gulRsuvQHoEoc9JQJzabKf3+T3zhINTd
TLSHT1D261084E33040BA321D71BA164AA9DD8B11FE12E7A23AF04386DF389033B82DD4FB454
Key Value
FileName./usr/share/doc/libghc6-ftphs-doc/html/haddock.css
FileSize4714
MD5E96D4F1120E8B14486961BE0FBF028AE
SHA-1020DAFFB72D0CEE76F7D0746B5325F63ED8F9F2A
SHA-256E92D60EFBC9CFB3BCC35225F579C5B022D9E549D36D572C984F00D45E164D094
SSDEEP96:9eoAPAXAWsZtfP+Dj4R5UZ1ZeBFDFik1JyLj7wLE7HLLFS7m3HYBFDF4lFSN6+nX:UbowWsTeQjFDFYF9+FDFYF6Cor
TLSHT1B2A10E82BFA0A6093009C4A1F413EEF5F31E51616A5ECBF8BAB9506CED446E0157E3CD
Key Value
FileName./usr/share/doc/libghc6-agda-doc/html/Agda-Compiler-MAlonzo-Compiler.html
FileSize29160
MD5CDB1EF9EF707922ADA61A9D0978C88CA
SHA-10272B271D469251B5CD812C09EF868E0E722AAE7
SHA-2562BE2A99F56309C346F030427A14CAB91645B2F19F693BFF82B8AC857ABDF77D1
SSDEEP192:HlasdzQxdmtgv05S1wX+z8s3ZnD6cEKrL2WH3NasUxLzLFLTTREm2Wg0G2GD0vS0:Hlasdz2IXRRKehgd8c1JG
TLSHT193D290EC5307A4BBAD613E12E1EE91266E40527D67C1A90F350C445E9ADA33E107FE2F
Key Value
FileName./usr/share/doc/libghc6-agda-doc/html/Agda-TypeChecking-Monad-State.html
FileSize12686
MD5565E28A38E0A29726D5F34797EF72FEB
SHA-10279448286C9C7BCD82DDA80D11F1A6E4D183EB9
SHA-256CEB3FA217099DF164E39DDDB90845B5D49CB4095AD815619A1A19AF75E8BE5BA
SSDEEP96:HlwRCOULFgBx76fXxIKBQf/vGfwf6xJZ6fX9ffM6fX9DB9l6c/xJ6c/9vVt7xDBM:HlUCdxkxVtfWvA5p+7+iibG
TLSHT12C4278ED130250BBADA27D03E0DE92652D14163D6781E61F3A1C445E5EEA73A207BF2F
Key Value
FileName./usr/share/doc/libghc6-agda-doc/html/src/Agda-TypeChecking-Rules-Builtin-Coinduction.html
FileSize50061
MD5909A3C010538B45A00FED8A085D3702C
SHA-1028614E03C2DD81BD2C7F48ECAE9094785FC85D7
SHA-2560266E87716F15EC349B9C369B6D3FA77A62F93A1C1C6F8FD309BF659DC3C9280
SSDEEP384:4BLXkCYGuRRwg5yGVOCP055CAZemNfXIWN/FvsHA1MTfEedrQDr+0TSnZRGzsoJl:4BLGRc5d/FE94IiBT1Bens
TLSHT1BD23D3D0C6F389362533D0D3A5AE6BF2B4E018E9E9860529B6EF83B557EDC14B817C11





metalookup is a service from miwakeru.com