k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] Sort annotation

From: Mihály Palenik <palenik.mihaly AT gmail.com>
To: k-user AT lists.cs.illinois.edu
Subject: [[K-user] ] Sort annotation
Date: Wed, 23 Nov 2016 15:05:29 +0100

Hello,

I hope this is the appropriate places to write my question. I read a lot of things in github's wiki about K. I found Sort Annotation part of Manual but for me it is not clearly what means these signs: :,::,<:,:>,<:>. Somebody can explain to me?

Thank you your help in advance.

Best regards,

Mihály Palenik

[[K-user] ] Sort annotation, Mihály Palenik, 11/23/2016
- Re: [[K-user] ] Sort annotation, Radu Mereuta, 11/23/2016