Search Package Index

7 packages found

 PackageDescriptionBuild 

cur

Dependent types and meta-programming

Docs:
succeeds0

cur-doc

This package needs a description

Docs:

This package needs tags

succeeds; has dependency problems2

cur-lib

This package needs a description

This package needs documentation

This package needs tags

succeeds3

cur-test

This package needs a description

This package needs documentation

This package needs tags

succeeds3

rackpgmp

A library for profile-guided meta-programming

succeeds; has failing tests4

scribble-coq

A library for typesetting Coq and coqtop interactions in Scribble.

This package needs documentation

This package needs tags

succeeds; has failing tests4

scribble-minted

A scribble library for using pygmentize

This package needs documentation

This package needs tags

succeeds3