Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

Agda-executable

Ecosystem
hackage.haskell.org
Latest Release
2.3.0
over 14 years ago
Versions
8
Downloads
9,554 total
2.3.0.1
Published: almost 14 years ago
Registry - Download
2.3.0
Published: over 14 years ago
Registry - Download
2.2.10
Published: about 15 years ago
Registry - Download
2.2.8
Published: over 15 years ago
Registry - Download
2.2.6
Published: about 16 years ago
Registry - Download
2.2.4
Published: over 16 years ago
Registry - Download
2.2.2
Published: almost 17 years ago
Registry - Download
2.2.0
Published: almost 17 years ago
Registry - Download
Links
Registry hackage.haskell.org
Homepage Homepage
JSON API View JSON
CodeMeta codemeta.json
Package Details
PURL pkg:hackage/Agda-executable
spec
License Other
First Release almost 17 years ago
Last Synced about 15 hours ago
Keywords
dependent-types deprecated program Propose Tags