Skip to content

Latest commit

 

History

History
 
 

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Learning K

We start by introducing the basic features of K by means of a series of very simple languages. The objective here is neither to learn those languages nor to study their underlying paradigm, but simply to learn K.