This is a repository to learn a few basic about Maude language