K-user mailing list

[Philip Daian <phil AT linux.com>]

Hello Omar,

There is a manual being worked on right now, but as the framework is still in an early stage and even the core is still constantly changing, there is nothing complete currently out.  Right now the best resources are the K Tutorials, related exercises, publications on the KFramework site, and the source code of the related builtins.  Once learning the basics of K definitions, you can check something like https://github.com/kframework/k/blob/master/include/builtins/list.k for what you need.  It looks like the comma operation does what you seek. 

  /*@ Construct a List using two Lists. This is similar to the "Cons" operation

   in many functional programming languages.*/

  syntax MyList ::= MyList "," MyList [left, function, hook(List:__), klabel('_List_)]

I hope that helps. The K developers definitely do recognize the need for better documentation for widespread user adoption, and it is something that should be nailed down as the framework matures.  It's also worth noting that I am not a K core developer, so anything I said may be wrong and corrected in the future :).

- Philip Daian

On Mon, Mar 24, 2014 at 6:56 AM, Omar Duhaiby <3omarz AT gmail.com> wrote:

Hello,

Is there a K reference manual that I'm not aware of? I couldn't find anything in the wiki.

Currently I'm looking for a built-in function to concatenate Lists.

Thank you

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