/k-schema

k definition of scheme (in maude)

No issues in this repository yet.