coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "Lukasz Stafiniak" <l_stafiniak AT hoga.pl>
- To: <coq-club AT pauillac.inria.fr>
- Subject: [Coq-Club] Type-based termination - when?
- Date: Sat, 2 Aug 2003 08:51:58 +0200
- Importance: normal
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
- Priority: normal
Greetings,
I long for type-based termination in Coq. When possibly could we have it in
standard Coq distribution?
Best wishes,
Lukasz
Uwaga! Do koñca sierpnia przed³u¿yli¶my promocje, do pakietów
wielostanowiskowych dok³adamy PenDrive Sprawd¼:
http://www.mks.com.pl/promocja-mobile.html
- [Coq-Club] Type-based termination - when?, Lukasz Stafiniak
Archive powered by MhonArc 2.6.16.