From bfe4f854eacccb5ab6365391ef6d57d2b6d85b3a Mon Sep 17 00:00:00 2001 From: LordBaryhobal Date: Fri, 10 Jul 2026 00:31:15 +0200 Subject: [PATCH 1/2] chore: add Contributing and License to README --- README.md | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/README.md b/README.md index 0af334b..2b2f819 100644 --- a/README.md +++ b/README.md @@ -24,6 +24,8 @@ This framework is being developed as part of a Bachelor's Thesis by Louis Herede - [Showing Type Judgements](#showing-type-judgements) - [Validating Definitions](#validating-definitions) - [Tests](#tests) +- [Contributing](#contributing) +- [License](#license) @@ -163,3 +165,16 @@ Not specifying any subcommand is equivalent to running `run -a` - Run specific tests: `run tests/cases/test1.py tests/cases/test2.py ...` - Update all tests: `update -a` - Update specific tests: `update tests/cases/test1.py tests/cases/test2.py ...` + +## Contributing + +Feel free to [open an issue](https://git.kb28.ch/HEL/midas/issues) to report a bug or if you experience any issues with Midas. + +Contributions are also welcome so feel free to [open a pull request](https://git.kb28.ch/HEL/midas/pulls). + +> [!NOTE] +> As this is part of my bachelor project, I will not accept any contributions before my defense + +## License + +Midas is distributed under the terms of the Apache-2.0 license. See [LICENSE](LICENSE) for details. \ No newline at end of file From 1d927e532f15fd2b82d2764f408d54ba7f04e73b Mon Sep 17 00:00:00 2001 From: LordBaryhobal Date: Fri, 10 Jul 2026 00:37:03 +0200 Subject: [PATCH 2/2] chore: add icon to README --- README.md | 4 ++++ 1 file changed, 4 insertions(+) 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.