Up to [cvs.NetBSD.org] / pkgsrc / lang / ats2
Request diff between arbitrary revisions
Default branch: MAIN
Revision 1.4 / (download) - annotate - [select for diffs], Mon Jan 16 04:38:04 2023 UTC (8 months, 1 week ago) by dholland
CVS Tags: pkgsrc-2023Q2-base, pkgsrc-2023Q2, pkgsrc-2023Q1-base, pkgsrc-2023Q1, HEAD
Changes since 1.3: +3 -3 lines
Diff to previous 1.3 (colored)
lang/ats2: USE_TOOLS+=find, install fails using solaris's
Revision 1.3 / (download) - annotate - [select for diffs], Sat May 14 22:25:38 2022 UTC (16 months, 1 week ago) by dholland
CVS Tags: pkgsrc-2022Q4-base, pkgsrc-2022Q4, pkgsrc-2022Q3-base, pkgsrc-2022Q3, pkgsrc-2022Q2-base, pkgsrc-2022Q2
Changes since 1.2: +2 -1 lines
Diff to previous 1.2 (colored)
Bump all elisp packages for the CONFLICTS change.
Revision 1.2 / (download) - annotate - [select for diffs], Thu Apr 14 20:13:19 2022 UTC (17 months, 1 week ago) by nikita
Changes since 1.1: +14 -1 lines
Diff to previous 1.1 (colored)
ats2: Build emacs mode.
Revision 1.1 / (download) - annotate - [select for diffs], Thu Apr 14 17:29:10 2022 UTC (17 months, 1 week ago) by nikita
lang/ats2: Add version 0.4.2 Import from wip/ats2 by Atsushi Toyokura, Mateusz Poszwa. ATS is a statically typed programming language that unifies implementation with formal specification. It is equipped with a highly expressive type system rooted in the framework Applied Type System, which gives the language its name. In particular, both dependent types and linear types are available in ATS. In addition, ATS contains a subsystem ATS/LF that supports a form of (interactive) theorem-proving, where proofs are constructed as total functions. With this subsystem, ATS is able to advocate a programmer-centric approach to program verification that combines programming with theorem-proving in a syntactically intertwined manner. Furthermore, ATS/LF can also serve as a logical framework (LF) for encoding various formal systems (such as logic systems and type systems) together with proofs of their (meta-)properties.
This form allows you to request diff's between any two revisions of a file. You may select a symbolic revision name using the selection box or you may type in a numeric name using the type-in text box.