math/hs-Agda
| Maintainer | haskell@FreeBSD.org |
|---|---|
| Comment | Dependently typed functional programming language and proof assistant |
| Categories | math, haskell |
| Links | FreshPorts upstream |
Fallout list
| version | build environment | category | date (UTC) | urls |
|---|---|---|---|---|
| 2.8.0_1 | main-amd64-default | build |
detail
·
log
·
|