Skip to Content.
Sympa Menu

k-user - [[K-user] ] About some usage of K

k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] About some usage of K


Chronological Thread 
  • From: wang_feng_bro AT 163.com
  • To: k-user AT lists.cs.illinois.edu
  • Subject: [[K-user] ] About some usage of K
  • Date: Sun, 15 Jan 2017 20:59:29 +0800

Hi, all

   What is the meaning of ‘Rho' in the tutorial, [klabel], and [marco] respectively ? Thanks!

Jerry



Archive powered by MHonArc 2.6.19.

Top of Page