k-user AT lists.cs.illinois.edu
Subject: K-user mailing list
List archive
- From: Omar Duhaiby <3omarz AT gmail.com>
- To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
- Subject: [K-user] '_' not matching .K
- Date: Thu, 6 Nov 2014 10:26:55 +0300
- List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
- List-id: <k-user.cs.uiuc.edu>
I want to delete the contents of the K cell in one of the rules. So I have the following:
<k> _ => . </k>
The rule works when I comment that line out but gets stuck otherwise. When It's stuck it shows the k cell as:<k> _ => . </k>
Omar Alzuhaibi
- [K-user] '_' not matching .K, Omar Duhaiby, 11/06/2014
- Re: [K-user] '_' not matching .K, Traian Florin Şerbănuţă, 11/06/2014
Archive powered by MHonArc 2.6.16.