Update README.md

This commit is contained in:
Alexander Shatalin 2023-07-21 15:30:51 +02:00 committed by GitHub
parent 6ca4f50a5c
commit b4c4cdd494
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 0 deletions

View File

@ -1,3 +1,5 @@
[![JetBrains team project](http://jb.gg/badges/team-flat-square.svg)]
(https://confluence.jetbrains.com/display/ALL/JetBrains+on+GitHub)
# MPS CodeRules
An experimental feature of [JetBrains MPS](https://jetbrains.com/mps), *Coderules* is collection of languages that allow to utilize logical programming approach for solving typechecking and related problems.