Ports marked with a ^* actually reside within another category but have haskell listed as a secondary category.

hs-Agda Dependently typed functional programming language and proof assistant

2.7.0.1_1^* Package not present on quarterly.This port was created during this quarter. It will be in the next quarterly branch but not the current one.

Maintainer: haskell@FreeBSD.org

Port Added: 2025-04-02 06:12:08

Also Listed In: math

License: MIT

Dependency lines:

• hs-Agda>0:math/hs-Agda