List and NeList

[findo]

What is the difference between List and NeList? Python-semantics uses NeList. I don't know its meaning.

Also is there a doc introducing how to write complex configurations? I am current working on writing the semantics and don't know how to write the state.

[daejunpark]

The difference is mainly related to parsing. By declaring as NeList, the parser will reject an empty list. NeList stands for "Non-empty List".

The best source to learn K is tutorial. https://github.com/kframework/k/tree/master/k-distribution/tutorial The language IMP will be a good start. https://github.com/kframework/k/tree/master/k-distribution/tutorial/1_k/2_imp