| non port: math/hs-Agda/Makefile |
|
SVNWeb
|
Number of commits found: 54 |
|
Wed, 6 Sep 2023
|
[ 19:22 Gleb Popov (arrowd)  ]    fa64017
math/hs-Agda: Unbreak emacs stuff.
Reported by: pkg-fallout
|
|
Sun, 12 Mar 2023
|
[ 16:10 Gleb Popov (arrowd) ] 99662cf
math/hs-Agda: Update to 2.6.3
|
|
Sun, 20 Nov 2022
|
[ 17:39 Gleb Popov (arrowd) ] 2fca709 (Only the first 10 of 90 ports in this commit are shown above.  )
Uses/cabal.mk: Rework MASTER_SITES and DISTFILES handling.
This change removes duplicated entries from MASTER_SITES and DISTFILES
variables. Now the MASTER_SITES variable will contain single Hackage URL without
any group for the simplest case and with :_cabal_mk_hackage group in nodefault
case.
This change opens a path to using non-Hackage Cabal repositories
(needed for Cardano) and pulling in .cabal revisions without using patches.
Unfortunately, this change results in a large churn in Haskell ports distinfos.
To make this churn less useless, refresh all Haskell dependencies in all ports.
|
|
Wed, 7 Sep 2022
|
[ 21:10 Stefan Eßer (se) ] b7f0544 (Only the first 10 of 27931 ports in this commit are shown above. )
Add WWW entries to port Makefiles
It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.
Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.
There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above )
|
|
Mon, 15 Aug 2022
|
[ 13:07 Gleb Popov (arrowd) ] a04537df
math/hs-Agda: Unbreak and enable compiling emacs mode files.
|
|
Thu, 28 Jul 2022
|
[ 19:52 Gleb Popov (arrowd) ] 166cea3 (Only the first 10 of 12 ports in this commit are shown above. )
Uses/cabal.mk: Introduce CABAL_WRAPPER_SCRIPTS variable.
Before this change every Haskell executable was wrapped into a shell script
which was installed into ${PREFIX}/bin while the actual executable was installed
into {PREFIX}/libexec/cabal. This was required to set env variables pointing the
Haskell program to its data files under ${PREFIX}/share. However, not every
Haskell program uses this feature.
Now the shell wrapping is off by default and CABAL_WRAPPER_SCRIPTS knob can be
used to enable it for a given port/executable.
Adjust all Haskell ports affected by this change.
|
|
Wed, 20 Jul 2022
|
[ 14:22 Tobias C. Berner (tcberner) ] f53eb28 (Only the first 10 of 719 ports in this commit are shown above. )
math: remove 'Created by' lines
A big Thank You to the original contributors of these ports:
* Aaron Dalton <aaron@FreeBSD.org>
* Aaron Dalton <aaron@daltons.ca>
* Alessando Sagratini <ale_sagra@hotmail.com>
* Alex Dupre <ale@FreeBSD.org>
* Alexey Dokuchaev <danfe@FreeBSD.org>
* Amarendra Godbole <amarendra.godbole@gmail.com>
* Anders Nordby <anders@FreeBSD.org>
* Andreas Fehlner (fehlner@gmx.de)
* Andrew L. Neporada <andrew@chg.ru>
* Andrey <gugu@zoo.rambler.ru>
* Andrey Zakhvatov (Only the first 15 lines of the commit message are shown above )
|
|
Thu, 7 Jul 2022
|
[ 10:24 Gleb Popov (arrowd) ] 4993070
math/hs-Agda: Update to 2.6.2.2
|
|
Mon, 9 May 2022
|
[ 19:23 Kevin Bowling (kbowling) ] db78da8 (Only the first 10 of 120 ports in this commit are shown above. )
devel/libffi: Bump deps PORTREVISION for shlib change
PR: 263764
Reported by: VVD <vvd@unislabs.com>
|
|
Fri, 22 Oct 2021
|
[ 14:25 Gleb Popov (arrowd) Author: Alexis Praga ] f4a961f
math/hs-Agda: Update to 2.6.2
|
|
Wed, 21 Apr 2021
|
[ 04:48 Tobias Kortkamp (tobik) ] bdca32c (Only the first 10 of 55 ports in this commit are shown above. )
Bump USES=cabal ports after 12837690ed0c
|
|
Tue, 6 Apr 2021
|
[ 14:31 Mathieu Arnold (mat) ] 305f148 (Only the first 10 of 29333 ports in this commit are shown above. )
Remove # $FreeBSD$ from Makefiles.
|
|
Mon, 1 Mar 2021
|
[ 18:13 arrowd ]  
math/hs-Agda: Update to 2.6.1.3
|
|
Mon, 31 Aug 2020
|
[ 10:58 arrowd ]
math/hs-Agda: Mark BROKEN on i386. There is a hope that the sutiation will
improve
in new GHC releases.
|
|
Sun, 23 Aug 2020
|
[ 15:57 arrowd ]
math/hs-Agda: Fix build with new GHC.
Reported by: pkg-fallout
|
|
Wed, 19 Aug 2020
|
[ 12:27 arrowd ]
math/hs-Agda: Do not compile Emacs mode files, because they are incompatible
with our new Emacs.
|
|
Sun, 16 Aug 2020
|
[ 07:56 arrowd ] (Only the first 10 of 91 ports in this commit are shown above. )
lang/ghc: Update to 8.10.1.
As usual, along with the compiler, many Haskell packages are updated as well.
|
|
Sat, 4 Jul 2020
|
[ 18:11 zeising ] (Only the first 10 of 105 ports in this commit are shown above. )
Chanse update of devel/libffi
Chase the devel/libffi update
Bump portrevision of all dependent ports to chace shard library version bump
in libffi.
Update LIB_DEPENDS lines where needed to not require a specific version of
libffi.so.
PR: 247028 (for tracking)
|
|
Wed, 6 May 2020
|
[ 20:31 arrowd ]
math/hs-Agda: Install emacs mode files.
PR: 246254
|
|
Mon, 4 May 2020
|
[ 18:08 arrowd ] (Only the first 10 of 166 ports in this commit are shown above. )
Upgrade lang/ghc to 8.8.3 and many Haskell ports along the way.
PR: 244784
Submitted by: Evilham <contact@evilham.com> (some ports)
|
|
Thu, 13 Jun 2019
|
[ 18:51 arrowd ]
math/hs-Agda: Update to latest version and unbreak.
Approved by: tcberner (mentor, implicit)
|
|
Thu, 9 May 2019
|
[ 14:39 arrowd ] (Only the first 10 of 102 ports in this commit are shown above. )
Introduce USES=cabal and use it to build Haskell applications.
PR: 230186
Reviewed by: mat, tcberner
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D19730
|
|
Sat, 30 Mar 2019
|
[ 17:39 tcberner ] (Only the first 10 of 529 ports in this commit are shown above. )
Mark almost all Haskell ports for expiration by mid April
Ports for Haskell *libraries* are going to be removed from the ports tree.
Haskell *applications* are going to be statically linked with all dependencies
( https://reviews.freebsd.org/D19730 ), so there is no reason to keep
Haskell libraries in tree.
If you think a port is wrongly marked and should stay, please contact haskell@
Submitted by: arrowd
Differential Revision: https://reviews.freebsd.org/D19244
|
|
Sun, 6 Jan 2019
|
[ 12:18 arrowd ] (Only the first 10 of 807 ports in this commit are shown above. )
lang/ghc: Update to 8.6.3 and bump PORTREVISION's of all Haskell ports.
As usual, it is recommended to rebuild or reinstall all the
dependent ports and the lang/ghc port itself in one of the following
ways:
# portmaster -w -r ghc
or
# portupgrade -fr lang/ghc
In case of pkg(8), it is probably safer to remove all the GHC-dependent
packages along with GHC and reinstall everything from scratch. For
example:
# pkg query "%ro" ghc > ghc-pkgs.txt
# pkg delete -y lang/ghc
# pkg install -y `cat ghc-pkgs.txt`
During update some hs-* ports got two PORTREVISION bumps in a row. Other ports
got a PORTVERSION update together with one PORTREVISION bump. This is caused
by bulk-bumping PORTREVISION of all hs-* ports. There are a lot of them updated,
so figuring out which ones require a bump and which are not is too tedious.
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D18707
|
|
Sun, 29 Jul 2018
|
[ 10:40 arrowd ] (Only the first 10 of 34 ports in this commit are shown above. )
Update some hs-* ports that were previously IGNORE'd.
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D16308
|
|
Sat, 30 Jun 2018
|
[ 09:58 arrowd ] (Only the first 10 of 563 ports in this commit are shown above. )
lang/ghc: Update to 8.4.3 and bump PORTREVISION's of all Haskell ports.
As usual, it is recommended to rebuild or reinstall all the
dependent ports and the lang/ghc port itself in one of the following
ways:
# portmaster -w -r ghc
or
# portupgrade -fr lang/ghc
In case of pkg(8), it is probably safer to remove all the GHC-dependent
packages along with GHC and reinstall everything from scratch. For
example:
# pkg query "%ro" ghc > ghc-pkgs.txt
# pkg delete -y lang/ghc
In ghc-pkgs.txt, check and remove all the packages that have been moved
on the update, then use this command:
# pkg install -y `cat ghc-pkgs.txt`
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D16038
|
|
Fri, 25 May 2018
|
[ 21:44 tcberner ] (Only the first 10 of 966 ports in this commit are shown above. )
Update lang/ghc 8.4.2 and the hs-* ports the newer versions
* Update lang/ghc to 8.4.2
* Update the boostrap compiler to 8.4.1
* Update the many hs-* ports
* Bump the rest
Thanks a lot to arrowd for doing all the heavy lifting :)
PR: 227968
Exp-run by: antoine
Submitted by: arrowd
Differential Revision: https://reviews.freebsd.org/D15005
|
|
Sat, 10 Feb 2018
|
[ 08:03 tcberner ] (Only the first 10 of 560 ports in this commit are shown above. )
Switch C compiler used to compile GHC to base Clang.
This removes build dependency on gcc and runtime dependency on gcc's runtime
libraries.
Big thanks to Gleb for working on this.
PR: 225185
Submitted by: Gleb Popov <6yearold@gmail.com>
Exp-run by: antoine
Reviewed by: pgj
Differential Revision: https://reviews.freebsd.org/D12043
|
|
Tue, 8 Aug 2017
|
[ 17:21 tcberner ] (Only the first 10 of 1370 ports in this commit are shown above. )
- Update The Glorious Glasgow Haskell Compiler to version 8.0.2
- Simplified port by only suporting GCC, and creating a build.mk file
- Update Pandoc to 1.19.2.1
- Update git-annex to 6.20170520
- Update Darcs to 2.12.5
- Update Gtk2Hs to 0.13.2.2
- Update Agda to 2.5.2
Please note that port revisions for all the Haskell ports without version
changes are bumped.
See the UPDATING file for instructions.
New ports (63):
(Only the first 15 lines of the commit message are shown above )
|
|
Thu, 20 Aug 2015
|
[ 23:02 pgj ] (Only the first 10 of 1153 ports in this commit are shown above. )
- Update The Glorious Glasgow Haskell Compiler to version 7.10.2
- Include a patch for addressing timer issues [1]
- Add support for building both GHC and Haskell ports with Clang, either from
ports or the base system
- Discontinue supporting Haskell Platform, use Stackage instead as a
reference
- Drop support for FreeBSD 8.x, optimize bootstrap compiler tarballs
- Update Gtk2Hs to version 0.13 [2]
- Update Pandoc to version 1.15.0.6
- Update git-annex to version 5.20150727
- Update Darcs to 2.10 [3]
- Unbreak wxHaskell ports
Please note that port revisions for all the Haskell ports without version
changes are bumped. (Only the first 15 lines of the commit message are shown above )
|
|
Wed, 10 Sep 2014
|
[ 20:50 gerald ] (Only the first 10 of 3171 ports in this commit are shown above. )
Update the default version of GCC in the Ports Collection from GCC 4.7.4
to GCC 4.8.3.
Part II, Bump PORTREVISIONs.
PR: 192025
Tested by: antoine (-exp runs)
Approved by: portmgr (implicit)
|
|
Sun, 10 Aug 2014
|
[ 22:34 pgj ] (Only the first 10 of 1166 ports in this commit are shown above. )
- Update The Glorious Glasgow Haskell Compiler to version 7.8.3
- Update Haskell Platform to version 2014.2.0.0
- Update Yesod Platform to version 1.2.13
- Update Gtk2Hs to version 0.12.5
- Update Pandoc to version 1.12.4.2
- Update git-annex to version 5.20140717
- Unbreak wxHaskell ports
Please note that port revisions for all the Haskell ports without version
changes are bumped.
New ports (69):
databases/hs-esqueleto: Type-safe EDSL for SQL queries on persistent backends
devel/hs-Glob: Globbing library (Only the first 15 lines of the commit message are shown above )
|
|
Sat, 29 Mar 2014
|
[ 00:52 pgj ] (Only the first 10 of 402 ports in this commit are shown above. )
- Reroll and update bootstrap Haskell compilers to GHC 7.6.3 on 8.x and
9.x in order to prevent run-time breakage after the recent changes in
libiconv
- Bump port revision for lang/ghc and all dependents, as a consequence
Obtained from: FreeBSD Haskell
|
|
Mon, 10 Mar 2014
|
[ 20:55 gerald ] (Only the first 10 of 1081 ports in this commit are shown above. )
Update the default version of GCC used in the Ports Collection from
GCC 4.6.4 to GCC 4.7.3. This entails updating the lang/gcc port as
well as changing the default in Mk/bsd.default-versions.mk.
Part II, Bump PORTREVISIONs.
PR: 182136
Supported by: Christoph Moench-Tegeder <cmt@burggraben.net> (fixing many ports)
Tested by: bdrewery (two -exp runs)
|
|
Thu, 9 Jan 2014
|
[ 21:32 pgj ] (Only the first 10 of 410 ports in this commit are shown above. )
- Stagify lang/ghc and all the Haskell Cabal ports
- Update HACKAGE_SITE to follow changes in upstream
- MAKE_ENV now sets LC_ALL and DESTDIR for Haskell Cabal ports
- Further minor cosmetical changes: replace USE_GMAKE with USES, get rid of
${DO_NADA}, some refactoring
Obtained from: FreeBSD Haskell
|
[ 21:29 pgj ] (Only the first 10 of 406 ports in this commit are shown above. )
- Fix a run-time problem with lang/ghc on FreeBSD 10.0 and later, caused by
the iconv changes (basically GHCi was rendered unusable)
- Fix build for x11-toolkits/hs-wxc, while here
- Bump port revision for all Haskell Cabal ports as they have to be rebuilt
PR: ports/184806
Reported by: many
Obtained from: FreeBSD Haskell
MFH: 2014Q1
|
|
Sat, 26 Oct 2013
|
[ 00:52 gerald ] (Only the first 10 of 1147 ports in this commit are shown above. )
Update to libmpc version 1.0.1 which brings the following fixes:
- Switched to automake 1.11.6, see CVE-2012-3386.
- #14669: Fixed extraction of CC from gmp.h.
- Fixed case of intermediate zero real or imaginary part in mpc_fma,
found by hydra with GMP_CHECK_RANDOMIZE=1346362345.
This is on top of the following changes from version 1.0
- Licence change towards LGPLv3+ for the code and GFDLv1.3+ (with no
invariant sections) for the documentation.
- 100% of all lines are covered by tests
- Renamed functions
. mpc_mul_2exp to mpc_mul_2ui
. mpc_div_2exp to mpc_div_2ui (Only the first 15 lines of the commit message are shown above )
|
|
Fri, 20 Sep 2013
|
[ 20:55 bapt ] (Only the first 10 of 665 ports in this commit are shown above. )
Add NO_STAGE all over the place in preparation for the staging support (cat:
math)
|
|
Tue, 4 Jun 2013
|
[ 18:53 pgj ] (Only the first 10 of 625 ports in this commit are shown above. )
- Update The Glorious Glasgow Haskell Compiler to version 7.6.3
- Update Haskell Platform to version 2013.2.0.0
Please note that port revisions for all the Haskell ports without version
changes are bumped.
Some highlights of the update:
- Fix PDF generation for pandoc [1]
- From now on, PREFIX/{lib,share,share/doc}/cabal/ghc-GHC_VERSION are used for
hs- ports (Cabal packages) as prefixes to avoid problems when upgrading with
portmaster(8) [2]
- Experimental support for LLVM-based code generation (disabled by default)
- Many simplifications, refactoring in bsd.cabal.mk
(Only the first 15 lines of the commit message are shown above )
|
|
Sat, 27 Apr 2013
|
[ 11:59 mva ] (Only the first 10 of 219 ports in this commit are shown above. )
- Convert USE_ICONV=yes to USES=iconv
- Change USE_GNOME=pkgconfig|gnomehack to USES=pathfix|pkgconfig while here
Reviewed by: zeising
|
|
Sun, 31 Mar 2013
|
[ 13:43 pgj ]
- Fix a minor dynamic linking problem for certain Haskell Cabal ports
- Add an UPDATING entry for description and instructions
Submitted by: ashish
Approved by: portmgr (miwi)
Obtained from: FreeBSD Haskell
|
|
Fri, 29 Mar 2013
|
[ 22:43 pgj ] (Only the first 10 of 339 ports in this commit are shown above. )
- Update Haskell ports from the development repository
- Avoid self-dependency for print/hs-hscolour (when HSCOLOUR is set)
Contributed by: ashish
New ports (5):
devel/hs-geniplate 0.6.0.3
devel/hs-uuid 1.2.9
net/hs-maccatcher 2.1.5
net/hs-publicsuffixlist 0.0.3
textproc/hs-regex-tdfa 1.1.8
Removed ports (1):
math/hs-Agda-executable 2.3.0.1_3 (Only the first 15 lines of the commit message are shown above )
|
|
Tue, 5 Feb 2013
|
[ 22:26 pgj ] (Only the first 10 of 595 ports in this commit are shown above. )
- Fix breakage in the DYNAMIC-enabled ports triggered by the recent
devel/libffi update
- Enable multithreaded build for lang/ghc (i.e. mark MAKE_JOBS_SAFE)
Please note that port revision for all the Haskell ports without version
changes are bumped.
New ports (20):
devel/hs-MonadRandom 0.1.8
devel/hs-base64-conduit 0.5.1
devel/hs-bifunctors 3.2
devel/hs-either 3.1
devel/hs-errors 1.3.1
devel/hs-generic-deriving 1.4.0 (Only the first 15 lines of the commit message are shown above )
|
|
Thu, 20 Dec 2012
|
[ 02:23 pgj ] (Only the first 10 of 1010 ports in this commit are shown above. )
- Update The Glorious Glasgow Haskell Compiler to version 7.4.2
- Update Haskell Platform to version 2012.4.0.0
- Update Gtk2Hs to 0.12.4
- Transfer maintainership of math/hs-math-functions to haskell@ [1]
Please note that port revisions for all the Haskell ports without version
changes are bumped.
Some further highlights of the update:
- Trim Makefile headers
- Enable dynamic libraries and dynamic linking by default
- Enable bootstrapping by versions of GHC and HsColour already installed
- Use GCC and binutils from ports
New ports (32): (Only the first 15 lines of the commit message are shown above )
|
|
Fri, 3 Aug 2012
|
[ 02:30 pgj ] (Only the first 10 of 286 ports in this commit are shown above. )
- Teach the Haskell Cabal ports to use the new options framework
- Remove some cruft
Obtained from: FreeBSD Haskell
|
|
Sun, 3 Jun 2012
|
[ 22:09 pgj ]
- Update to 2.3.0.1
Obtained from: FreeBSD Haskell
|
|
Mon, 13 Feb 2012
|
[ 05:04 pgj ]
- Update to 2.3.0
Obtained from: FreeBSD Haskell
|
|
Sun, 10 Jul 2011
|
[ 16:30 ashish ] (Only the first 10 of 32 ports in this commit are shown above. )
- Update devel/hs-blaze-builder to 0.3.0.1
- Update devel/hs-blaze-builder-enumerator to 0.2.0.1
- Update devel/hs-darcs to 2.5.2
- Update devel/hs-hashed-storage to 0.5.7
- Update devel/hs-haskeline to 0.6.4.0
- Update devel/hs-haskell-src-exts to 1.11.1
- Update devel/hs-hoogle to 4.2.5
- Update devel/hs-test-framework to 0.4.0
- Update devel/hs-test-framework-quickcheck2 to 0.2.10
- Update www/hs-wai to 0.4.0
- Update www/hs-warp to 0.4.0.1
- Bump PORTREVISION of devel/cvs2darcs, devel/hs-test-framework-hunit,
devel/hs-uuagc, math/hs-Agda, math/hs-Agda-executable
Obtained from: FreeBSD Haskell
|
|
Thu, 26 May 2011
|
[ 00:51 ashish ] (Only the first 10 of 166 ports in this commit are shown above. )
Bump PORTREVISION of all ports dependent on lang/ghc as during
upgrade, lang/ghc cabal package cache gets invalidated causing all
dependent ports to be reinstalled.
Obtained from: FreeBSD Haskell
|
|
Mon, 9 May 2011
|
[ 05:28 ashish ] (Only the first 10 of 460 ports in this commit are shown above. )
- Please welcome GHC 7.0.3
GHC in the ports tree has been updated to 7.0.3 and all other Haskell ports
are also updated to their corresponding Haskell Platform versions, or latest
versions.
We would like to acknowledge the support of the FreeBSD Donations Team and
Eotvos Lorand University, Faculty of Informatics who contributed to the server
that we used for testing.
We would also like to thank all the testers who tested FreeBSD Haskell ports
and provided their feedback.
PR: ports/156642
Approved by: tabthorpe (mentor)
Obtained from: FreeBSD Haskell
|
|
Wed, 26 May 2010
|
[ 11:18 jacula ] (Only the first 10 of 75 ports in this commit are shown above. )
- Pass maintainership to haskell@FreeBSD.org:
audio/hs-ALUT, audio/hs-OpenAL, benchmarks/hs-criterion
converters/hs-json, devel/hs-DeepArrow, devel/hs-FileManip
devel/hs-MemoTrie, devel/hs-MissingH, devel/hs-MonadCatchIO-mtl
devel/hs-ObjectName, devel/hs-QuickCheck, devel/hs-StateVar
devel/hs-Tensor, devel/hs-TypeCompose, devel/hs-arrows
devel/hs-checkers, devel/hs-convertible, devel/hs-datetime
devel/hs-deepseq, devel/hs-fgl, devel/hs-ghc-mtl, devel/hs-ghc-paths
devel/hs-ghc-paths-docs, devel/hs-haskeline
devel/hs-haskell-src-exts, devel/hs-hint, devel/hs-hoogle
devel/hs-hslogger, devel/hs-mmap, devel/hs-mueval, devel/hs-reactive
devel/hs-readline, devel/hs-safe, devel/hs-show, devel/hs-smallcheck
devel/hs-split, devel/hs-testpack, devel/hs-transformers
devel/hs-unamb, devel/hs-uniplate, devel/hs-unix-compat(Only the first 15 lines of the commit message are shown above )
|
|
Wed, 12 May 2010
|
[ 16:33 pgj ] (Only the first 10 of 214 ports in this commit are shown above. )
Introduce a new (and hopefully better) ports infrastructure for Haskell Cabal
ports which makes possible the direct translation of Cabal package
descriptions to FreeBSD ports. It promises both easier addition and
maintenance for Cabal-based ports.
|
|
Mon, 19 Apr 2010
|
[ 10:43 ale ] (Only the first 10 of 132 ports in this commit are shown above. )
Switch to use newer GMP version.
PR: ports/144487
Submitted by: ale
Approved by: portmgr (-exp run by erwin)
|
|
Mon, 4 Jan 2010
|
[ 03:24 pgj ]
Agda is a dependently typed functional programming language: It has inductive
families, which are similar to 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-Lof. It has many similarities with other proof assistants based on
dependent types, such as Coq, Epigram and NuPRL.
WWW: http://wiki.portal.chalmers.se/agda/
PR: ports/142141
Submitted by: Jacula Modyun <jacula(at)gmail.com>
|
Number of commits found: 54 |
As an Amazon Associate I earn from qualifying purchases.