k-user AT lists.cs.illinois.edu
Subject: K-user mailing list
List archive
- From: Omar Duhaiby <3omarz AT gmail.com>
- To: traian.serbanuta AT gmail.com
- Cc: k-user AT cs.uiuc.edu, "Musab A. AlTurki" <musab AT kfupm.edu.sa>
- Subject: Re: [K-user] K Time
- Date: Thu, 9 Oct 2014 14:41:21 +0300
- List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
- List-id: <k-user.cs.uiuc.edu>
I would love to implement it but I don't even know where to start.
How about waiting? Can execution wait or sleep for a certain time?
On Oct 9, 2014 1:13 PM, "Traian Florin Şerbănuţă" <traian.serbanuta AT fmi.unibuc.ro> wrote:
I don't think it has; but it should be fairly easy to add something like that.one way to do it would be to have a special stream, similar to input and output which whenever something is requested from it would return the current time.You can either open an issue for that on the github page (and if enough people care about it it might become a priority to the dev. team), or if you want it bad and quick, you can try implementing it yourself and submitting a pull request.best wishes,Traian2014-10-09 8:49 GMT+03:00 Omar Duhaiby <3omarz AT gmail.com>:Omar AlzuhaibiThank youHello,Does K have a built-in function that returns the current time?
_______________________________________________
k-user mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user
- [K-user] K Time, Omar Duhaiby, 10/09/2014
- Re: [K-user] K Time, Traian Florin Şerbănuţă, 10/09/2014
- Re: [K-user] K Time, Omar Duhaiby, 10/09/2014
- Re: [K-user] K Time, Rosu, Grigore, 10/09/2014
- Re: [K-user] K Time, Dwight Guth, 10/09/2014
- Re: [K-user] K Time, Omar Duhaiby, 10/10/2014
- Re: [K-user] K Time, Omar Duhaiby, 10/15/2014
- Re: [K-user] K Time, Dwight Guth, 10/15/2014
- Re: [K-user] K Time, Omar Duhaiby, 10/15/2014
- Re: [K-user] K Time, Omar Duhaiby, 10/15/2014
- Re: [K-user] K Time, Omar Duhaiby, 10/10/2014
- Re: [K-user] K Time, Dwight Guth, 10/09/2014
- Re: [K-user] K Time, Rosu, Grigore, 10/09/2014
- Re: [K-user] K Time, Omar Duhaiby, 10/09/2014
- Re: [K-user] K Time, Traian Florin Şerbănuţă, 10/09/2014
Archive powered by MHonArc 2.6.16.