| Key | Value |
|---|---|
| FileName | ./usr/lib/ats2-postiats-0.1.8/prelude/SATS/gprint.sats |
| FileSize | 3041 |
| MD5 | B162499D0590902F39425A31A3CB1C34 |
| SHA-1 | 036F52A4BEF757FE70723BC6447ACCEED9F49553 |
| SHA-256 | 0FD29D72E686DEAA8C154C3806C5321920F87FA494B771BA0BBF9407A5627B4E |
| SSDEEP | 48:OB0KSFncxlH855HWRicLM3fYAtmPm0er9r5mPvrgJrbCrjrN79IijOA7vNr:OB0s85Z3pYAtem0er9r5mPvr2rbCrjr7 |
| TLSH | T17751DB3237980E252861786B99CE77D17113A20320F12182B01F76B4DF0EBEDB2E11AB |
| hashlookup:parent-total | 6 |
| hashlookup:trust | 80 |
The searched file hash is included in 6 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileSize | 589966 |
| MD5 | 0CCE8EA82D20DAA7D9D998753F5AE13F |
| PackageDescription | ATS version 2 programming language compiler ATS2 a.k.a. ATS/Postiats is a programming language with a highly expressive type system rooted in the framework Applied Type System. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS (ATS/Postiats) is written in ATS (ATS/Anairiats) itself. It can be as efficient as C/C++ and supports a variety of programming paradigms. . In addition, ATS contains a component ATS/LF that supports a form of (interactive) theorem proving, where proofs are constructed as total functions. With this component, ATS advocates a programming style that combines programming with theorem proving. Furthermore, this component may be used as a logical framework to encode various deduction systems and their (meta-)properties. . This package contains the compiler patsopt and the frontend patscc. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | ats2-lang |
| PackageSection | devel |
| PackageVersion | 0.1.8-1 |
| SHA-1 | E28305F9ABB927AA15FA11732254E8342A3D2B30 |
| SHA-256 | 59D39C131F22BF1D5426FEF532A51CAE5CEA3AA5A0E92C69FC09720C1A87F69A |
| Key | Value |
|---|---|
| FileSize | 576020 |
| MD5 | F49DBAA7489B42CB920BF35A24AC5536 |
| PackageDescription | ATS version 2 programming language compiler ATS2 a.k.a. ATS/Postiats is a programming language with a highly expressive type system rooted in the framework Applied Type System. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS (ATS/Postiats) is written in ATS (ATS/Anairiats) itself. It can be as efficient as C/C++ and supports a variety of programming paradigms. . In addition, ATS contains a component ATS/LF that supports a form of (interactive) theorem proving, where proofs are constructed as total functions. With this component, ATS advocates a programming style that combines programming with theorem proving. Furthermore, this component may be used as a logical framework to encode various deduction systems and their (meta-)properties. . This package contains the compiler patsopt and the frontend patscc. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | ats2-lang |
| PackageSection | devel |
| PackageVersion | 0.1.8-1 |
| SHA-1 | 4075F9FC86E4C7E497B3E8817281C0ADA162113F |
| SHA-256 | 8381FC3F4E7F77DE3D3ED3960F4374D2533A8E7EF3ABAE4D4D10D4CB99826025 |
| Key | Value |
|---|---|
| FileSize | 617968 |
| MD5 | 29BAB76885D45D4E384A245BD525AA13 |
| PackageDescription | ATS version 2 programming language compiler ATS2 a.k.a. ATS/Postiats is a programming language with a highly expressive type system rooted in the framework Applied Type System. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS (ATS/Postiats) is written in ATS (ATS/Anairiats) itself. It can be as efficient as C/C++ and supports a variety of programming paradigms. . In addition, ATS contains a component ATS/LF that supports a form of (interactive) theorem proving, where proofs are constructed as total functions. With this component, ATS advocates a programming style that combines programming with theorem proving. Furthermore, this component may be used as a logical framework to encode various deduction systems and their (meta-)properties. . This package contains the compiler patsopt and the frontend patscc. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | ats2-lang |
| PackageSection | devel |
| PackageVersion | 0.1.8-1 |
| SHA-1 | 7819AAEAE071BF48EB78DC55170B3EB8243E8AB7 |
| SHA-256 | EDFC1D725508D790B78711250ADE96A99277DF55BCB88936663708EEFE310CCE |
| Key | Value |
|---|---|
| FileSize | 594220 |
| MD5 | 28B6C109CEEF7FF0D779D358654CE1CA |
| PackageDescription | ATS version 2 programming language compiler ATS2 a.k.a. ATS/Postiats is a programming language with a highly expressive type system rooted in the framework Applied Type System. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS (ATS/Postiats) is written in ATS (ATS/Anairiats) itself. It can be as efficient as C/C++ and supports a variety of programming paradigms. . In addition, ATS contains a component ATS/LF that supports a form of (interactive) theorem proving, where proofs are constructed as total functions. With this component, ATS advocates a programming style that combines programming with theorem proving. Furthermore, this component may be used as a logical framework to encode various deduction systems and their (meta-)properties. . This package contains the compiler patsopt and the frontend patscc. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | ats2-lang |
| PackageSection | devel |
| PackageVersion | 0.1.8-1 |
| SHA-1 | 90F022F123BE2A78452516CC47A224370F6E162A |
| SHA-256 | 117A6A5532F9779E412F126B991391E73ACDF207DA956514A98A65972CF94654 |
| Key | Value |
|---|---|
| FileSize | 696134 |
| MD5 | F2B39709E641990EB4329DF53BC68042 |
| PackageDescription | ATS version 2 programming language compiler ATS2 a.k.a. ATS/Postiats is a programming language with a highly expressive type system rooted in the framework Applied Type System. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS (ATS/Postiats) is written in ATS (ATS/Anairiats) itself. It can be as efficient as C/C++ and supports a variety of programming paradigms. . In addition, ATS contains a component ATS/LF that supports a form of (interactive) theorem proving, where proofs are constructed as total functions. With this component, ATS advocates a programming style that combines programming with theorem proving. Furthermore, this component may be used as a logical framework to encode various deduction systems and their (meta-)properties. . This package contains the compiler patsopt and the frontend patscc. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | ats2-lang |
| PackageSection | devel |
| PackageVersion | 0.1.8-1 |
| SHA-1 | 8039FF463C5F42A92310206BFBB8FBECEA8183D2 |
| SHA-256 | D6159491A786335414B61D0C23D6CC8AACA4071EFB49D46530DDC326306C859D |
| Key | Value |
|---|---|
| FileSize | 729218 |
| MD5 | 7C94647EFC5C9F7D127630AADACA1C90 |
| PackageDescription | ATS version 2 programming language compiler ATS2 a.k.a. ATS/Postiats is a programming language with a highly expressive type system rooted in the framework Applied Type System. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS (ATS/Postiats) is written in ATS (ATS/Anairiats) itself. It can be as efficient as C/C++ and supports a variety of programming paradigms. . In addition, ATS contains a component ATS/LF that supports a form of (interactive) theorem proving, where proofs are constructed as total functions. With this component, ATS advocates a programming style that combines programming with theorem proving. Furthermore, this component may be used as a logical framework to encode various deduction systems and their (meta-)properties. . This package contains the compiler patsopt and the frontend patscc. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | ats2-lang |
| PackageSection | devel |
| PackageVersion | 0.1.8-1 |
| SHA-1 | 95423D3587391E5967B72A9AA117A8AB4F4B50DD |
| SHA-256 | 7E809C7F43BDC34E5696404539A5DD76248ED3424BC86F80ED7F4484AE0569DC |