libghc-copilot-theorem-doc 3.13-1 (amd64 binary) in ubuntu lunar
Some tools to prove properties on Copilot programs with k-induction model
checking.
.
Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in
Haskell that compiles into embedded C. Copilot contains an interpreter,
multiple back-end compilers, and other verification tools.
.
A tutorial, examples, and other information are available at
<https:/
.
This package provides the documentation for a library for the Haskell
programming language.
See http://
Details
- Package version:
- 3.13-1
- Status:
- Published
- Component:
- universe
- Priority:
- Optional
Downloadable files
amd64 build of haskell-copilot-theorem 3.13-1 in ubuntu lunar PROPOSED produced
these files:
- libghc-copilot-theorem-doc_3.13-1_all.deb (182.1 KiB)
Package relationships
- Depends on:
- haddock-interface-38
- Suggests: