k-user AT lists.siebelschool.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] Learning K

From: Traian Florin Șerbănuță <tserban2 AT illinois.edu>
To: "Seyed H. HAERI (Hossein)" <hossein.haeri AT gmail.com>
Cc: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: Re: [K-user] Learning K
Date: Tue, 21 Feb 2012 08:02:49 -0600
Authentication-results: mr.google.com; spf=pass (google.com: domain of traian.serbanuta AT gmail.com designates 10.220.151.5 as permitted sender) smtp.mail=traian.serbanuta AT gmail.com; dkim=pass header.i=traian.serbanuta AT gmail.com
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user>
List-id: <k-user.cs.uiuc.edu>

Hi Hossein,

You can either send them to the k-user list or reply to me directly.

thanks for taking the time to do that.

best wishes,

- traian

2012/2/21 Seyed H. HAERI (Hossein) <hossein.haeri AT gmail.com>

Hi Traian,

> As this is a draft, any suggestions for improvement are very appreciated.

Having set most of the K-Primer, I have my set of
comments/questions/etc. Where should I submit those once done with the
document?

TIA,

--Hossein

--------------------------------------------------------------------------------------------------------------

Seyed H. HAERI (Hossein)

Research Assistant
Institute for Software Systems (STS)
Technical University of Hamburg (TUHH)
Hamburg, Germany

ACCU - Professionalism in programming - http://www.accu.org/
--------------------------------------------------------------------------------------------------------------

_______________________________________________
k-user mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user

[K-user] Learning K, Seyed H. HAERI (Hossein), 02/13/2012
- <Possible follow-up(s)>
- Re: [K-user] Learning K, Traian Florin Şerbănuţă, 02/13/2012
  - Re: [K-user] Learning K, Moore, Brandon Michael, 02/14/2012
    - Re: [K-user] Learning K, Seyed H. HAERI (Hossein), 02/14/2012
  - Re: [K-user] Learning K, Seyed H. HAERI (Hossein), 02/21/2012
  - Message not available
    - Re: [K-user] Learning K, Traian Florin Șerbănuță, 02/21/2012
      - Re: [K-user] Learning K, Seyed H. HAERI (Hossein), 02/21/2012