On Thu, Apr 09, 2009 at 03:42:39PM -0700, Jason Dagit wrote:
>
> darcs get http://code.haskell.org/camp/devel/paper/
This is currently tricky to build: You need the trunk version of coqdoc.
But there's a recent snapshot here:
http://projects.haskell.org/camp/files/theory.pdf
The coq bits are typeset with a green background. You can just ignore
them if you're not interested in the coq.
Also, remember that it's a work in progress.
Thanks
Ian
_______________________________________________
darcs-users mailing list
[email protected]
http://lists.osuosl.org/mailman/listinfo/darcs-users
