diff --git a/README.md b/README.md index 2b2f819..7b22600 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,9 @@

Midas

+

+ +

+ *Midas* is a type system to _Maintain Integrity of Data with Annotated Structures_. In Greek mythology, [Midas](https://en.wikipedia.org/wiki/Midas) was a Phrygian king who was blessed with the gift of turning everything he touched into gold.