k-user AT lists.cs.illinois.edu
Subject: K-user mailing list
List archive
- From: wang_feng_bro AT 163.com
- To: k-user AT lists.cs.illinois.edu
- Subject: [[K-user] ] What is the meaning of letter K
- Date: Fri, 23 Jun 2017 13:28:01 +0800
Hi, all
What is the meaning of “K" in the following rule in the simple language : rule <k> return(V:Val); ~> _ => V ~> K </k> ?
Jerry
- [[K-user] ] What is the meaning of letter K, wang_feng_bro, 06/23/2017
- Re: [[K-user] ] What is the meaning of letter K, Andrei Arusoaie, 06/23/2017
Archive powered by MHonArc 2.6.19.