| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
2.8.0
02 Aug 2025 10:27:11
     |
Älven (alven)  |
math/hs-Agda: update 2.7.0.1 => 2.8.0
PR: 288578
Approved by: alven@ (maintainer, with haskell@ hat)
Approved by: yuri@ (Mentor) |
2.7.0.1
02 Aug 2025 10:27:11
|
Älven (alven) |
Revert "math/hs-Agda: Disable building emacs mode files until upstream fixes it"
This reverts commit e1197b1e58b2cdb5f98b4fd00db2e340800b444f.
Upstream bug [0] was fixed/closed 2025-03-28
[0] https://github.com/agda/agda/issues/7730
PR: 288578
Approved by: alven (maintainer, with haskell@ hat)
Approved by: yuri (Mentor) |
2.7.0.1_1
04 Mar 2025 12:28:48
|
Gleb Popov (arrowd) |
math/hs-Agda: Disable building emacs mode files until upstream fixes it
See https://github.com/agda/agda/issues/7730
Reported by: pkg-fallout |
2.7.0.1
19 Sep 2024 16:23:18
|
Gleb Popov (arrowd)
Author: Älven |
math/hs-Agda: Update to 2.7.0.1
PR: 281581 |
2.7.0
21 Aug 2024 09:32:21
|
Gleb Popov (arrowd)
Author: Älven |
math/hs-Agda: Update to 2.7.0
PR: 280954 |
2.6.4.3
16 Mar 2024 11:58:29
|
Gleb Popov (arrowd)
Author: Andrey Korobkov |
math/hs-Agda: Fix LICENSE
PR: 277730 |
2.6.4.3
16 Mar 2024 11:51:15
|
Gleb Popov (arrowd) |
math/hs-Agda: Fix plist
PR: 277730
Fixes: ba61a442a89ec86117ece8c356b5c5117a67681e |
2.6.4.3
16 Mar 2024 11:51:15
|
Gleb Popov (arrowd)
Author: Andrey Korobkov |
math/hs-Agda: Update to 2.6.4.3
PR: 277730 |
2.6.4.1
08 Feb 2024 20:07:24
|
Gleb Popov (arrowd)
Author: awoonya |
math/hs-Agda: update to 2.6.4.1 |
2.6.3_1
06 Sep 2023 19:22:52
|
Gleb Popov (arrowd) |
math/hs-Agda: Unbreak emacs stuff.
Reported by: pkg-fallout |
2.6.3
12 Mar 2023 16:10:31
|
Gleb Popov (arrowd) |
math/hs-Agda: Update to 2.6.3 |
2.6.2.2_3
20 Nov 2022 17:39:28
|
Gleb Popov (arrowd) |
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. |
07 Sep 2022 21:58:51
|
Stefan Eßer (se) |
Remove WWW entries moved into port Makefiles
Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner) |
2.6.2.2_2
07 Sep 2022 21:10:59
|
Stefan Eßer (se) |
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  ) |
2.6.2.2_2
15 Aug 2022 13:07:25
|
Gleb Popov (arrowd) |
math/hs-Agda: Unbreak and enable compiling emacs mode files. |
2.6.2.2_1
28 Jul 2022 19:52:56
|
Gleb Popov (arrowd) |
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. |
2.6.2.2_1
20 Jul 2022 14:22:24
|
Tobias C. Berner (tcberner) |
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 ) |
2.6.2.2_1
07 Jul 2022 10:24:34
|
Gleb Popov (arrowd) |
math/hs-Agda: Update to 2.6.2.2 |
2.6.2_1
09 May 2022 19:23:51
|
Kevin Bowling (kbowling) |
devel/libffi: Bump deps PORTREVISION for shlib change
PR: 263764
Reported by: VVD <vvd@unislabs.com> |
2.6.2
22 Oct 2021 14:25:14
|
Gleb Popov (arrowd)
Author: Alexis Praga |
math/hs-Agda: Update to 2.6.2 |
2.6.1.3_1
21 Apr 2021 04:48:23
|
Tobias Kortkamp (tobik) |
Bump USES=cabal ports after 12837690ed0c |
2.6.1.3
06 Apr 2021 14:31:07
|
Mathieu Arnold (mat) |
Remove # $FreeBSD$ from Makefiles. |
2.6.1.3
01 Mar 2021 18:13:46
  |
arrowd |
math/hs-Agda: Update to 2.6.1.3 |
2.6.1_5
31 Aug 2020 10:58:31
|
arrowd |
math/hs-Agda: Mark BROKEN on i386. There is a hope that the sutiation will
improve
in new GHC releases. |
2.6.1_5
23 Aug 2020 15:57:49
|
arrowd |
math/hs-Agda: Fix build with new GHC.
Reported by: pkg-fallout |
2.6.1_4
19 Aug 2020 12:27:37
|
arrowd |
math/hs-Agda: Do not compile Emacs mode files, because they are incompatible
with our new Emacs. |
2.6.1_3
16 Aug 2020 07:56:19
|
arrowd |
lang/ghc: Update to 8.10.1.
As usual, along with the compiler, many Haskell packages are updated as well. |
2.6.1_2
04 Jul 2020 18:11:42
|
zeising |
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) |
2.6.1_1
06 May 2020 20:31:28
|
arrowd |
math/hs-Agda: Install emacs mode files.
PR: 246254 |
2.6.1
04 May 2020 18:08:10
|
arrowd |
Upgrade lang/ghc to 8.8.3 and many Haskell ports along the way.
PR: 244784
Submitted by: Evilham <contact@evilham.com> (some ports) |
2.6.0.1
13 Jun 2019 18:51:52
|
arrowd |
math/hs-Agda: Update to latest version and unbreak.
Approved by: tcberner (mentor, implicit) |
2.5.4.2_1
09 May 2019 14:39:30
|
arrowd |
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 |
2.5.4.2_1
30 Mar 2019 17:39:37
|
tcberner |
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 |
2.5.4.2_1
06 Jan 2019 12:18:07
 |
arrowd |
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 |
2.5.4
29 Jul 2018 10:40:29
|
arrowd |
Update some hs-* ports that were previously IGNORE'd.
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D16308 |
2.5.2_2
30 Jun 2018 09:58:00
|
arrowd |
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 |
2.5.2_1
25 May 2018 21:44:13
|
tcberner |
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 |
2.5.2_1
10 Feb 2018 08:03:22
|
tcberner |
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 |
2.5.2
08 Aug 2017 17:21:46
|
tcberner |
- 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 ) |
2.4.2.3
20 Aug 2015 23:02:17
|
pgj |
- 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 ) |
2.4.0.2_1
10 Sep 2014 20:50:37
|
gerald |
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) |
2.4.0.2
10 Aug 2014 22:34:52
|
pgj |
- 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 ) |
2.3.2_6
29 Mar 2014 00:52:55
|
pgj |
- 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 |
2.3.2_5
10 Mar 2014 20:55:22
|
gerald |
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) |
2.3.2_4
09 Jan 2014 21:32:14
|
pgj |
- 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 |
2.3.2_4
09 Jan 2014 21:29:40
|
pgj |
- 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 |
2.3.2_3
26 Oct 2013 00:52:36
|
gerald |
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 ) |
2.3.2_2
20 Sep 2013 20:55:06
|
bapt |
Add NO_STAGE all over the place in preparation for the staging support (cat:
math) |
2.3.2_2
04 Jun 2013 18:53:41
|
pgj |
- 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 ) |
2.3.2_1
27 Apr 2013 11:59:29
|
mva |
- Convert USE_ICONV=yes to USES=iconv
- Change USE_GNOME=pkgconfig|gnomehack to USES=pathfix|pkgconfig while here
Reviewed by: zeising |
2.3.2_1
31 Mar 2013 13:43:10
|
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 |
2.3.2
29 Mar 2013 22:43:58
|
pgj |
- 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 ) |
2.3.0.1_3
05 Feb 2013 22:26:32
|
pgj |
- 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 ) |
2.3.0.1_2
20 Dec 2012 02:23:06
|
pgj |
- 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 ) |
2.3.0.1_1
03 Aug 2012 02:30:11
|
pgj |
- Teach the Haskell Cabal ports to use the new options framework
- Remove some cruft
Obtained from: FreeBSD Haskell |
2.3.0.1
03 Jun 2012 22:09:29
|
pgj |
- Update to 2.3.0.1
Obtained from: FreeBSD Haskell |
2.3.0
13 Feb 2012 05:04:03
|
pgj |
- Update to 2.3.0
Obtained from: FreeBSD Haskell |
2.2.10_2
10 Jul 2011 16:30:20
|
ashish |
- 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 |
2.2.10_1
26 May 2011 00:51:15
|
ashish |
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 |
2.2.10
09 May 2011 05:28:57
|
ashish |
- 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 |
2.2.6_1
20 Mar 2011 12:54:45
|
miwi |
- Get Rid MD5 support |
2.2.6_1
08 Aug 2010 08:49:38
|
pgj |
- Add DIST_SUBDIR for Haskell Cabal ports (with default of "cabal")
Suggested by: admi3 |
2.2.6_1
26 May 2010 11:18:46
|
jacula |
- 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 ) |
2.2.6_1
12 May 2010 16:33:59
|
pgj |
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. |
2.2.6_1
19 Apr 2010 10:43:43
|
ale |
Switch to use newer GMP version.
PR: ports/144487
Submitted by: ale
Approved by: portmgr (-exp run by erwin) |
2.2.6
04 Jan 2010 03:24:25
|
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> |
As an Amazon Associate I earn from qualifying purchases.
