Package haskell-prime: Prime numbers
Information
name | haskell-prime |
version | 1.34 |
description | Prime numbers |
author | Joe Leslie-Hurd <joe@gilith.com> |
license | MIT |
checksum | 7d4a740d749563cdc1da8023f7c021c1d380bc2a |
Files
- Package tarball haskell-prime-1.34.tgz
- Theory source file haskell-prime.thy (included in the package tarball)