coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: marko AT ffri.hr
- To: coq-club AT pauillac.inria.fr
- Subject: [Coq-Club] Managing memory from Coq
- Date: Thu, 6 Mar 2008 12:22:15 +0100 (CET)
- Importance: Normal
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Greetings,
Is there some possibility of managing memory from Coq? I'm searching for
some article about that but I can't find anything.
Thank you very much,
Marko Malikoviæ
- [Coq-Club] Managing memory from Coq, marko
Archive powered by MhonArc 2.6.16.