k-user AT lists.cs.illinois.edu
Subject: K-user mailing list
List archive
- From: Suminda Dharmasena <sirinath AT sakrio.com>
- To: info AT kframework.org, k-user AT cs.uiuc.edu
- Subject: [K-user] Twelf
- Date: Wed, 1 Jan 2014 11:18:25 +0530
- List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
- List-id: <k-user.cs.uiuc.edu>
I am new to both. Played with Twelf for less than a hour. Perhaps you can borrow some ideas from Twelf.
- [K-user] Twelf, Suminda Dharmasena, 12/31/2013
Archive powered by MHonArc 2.6.16.