coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Andreas Abel <andreas.abel AT ifi.lmu.de>
- To: Coq Club <coq-club AT pauillac.inria.fr>
- Subject: [Coq-Club] Library for partial functions
- Date: Wed, 28 Oct 2009 14:41:48 +0100
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Has anyone developed a library for partial functions in the style of
parfun A B := Sigma P : A -> Prop. {x : A | P x} -> B
Stuff like currying, uncurrying, dependent partial functions, theorems about partial functions...
Cheers,
Andreas
Andreas ABEL
INRIA, Projet Pi.R2
23, avenue d'Italie
F-75013 Paris
Tel: +33.1.39.63.59.41
- [Coq-Club] Library for partial functions, Andreas Abel
Archive powered by MhonArc 2.6.16.