diff --git a/README.md b/README.md index 75eb2645b..8de0bd273 100644 --- a/README.md +++ b/README.md @@ -4,8 +4,7 @@ LM aims to provide a convenient interface to formally encode a variety of big-st This project is a **User Inferface** for existing theoretical frameworks. The text language here is a simple encoding of lambda calculus and types. There is also a concept of equivalence relations formed by big-step rules. +More information is available on the [Wiki](https://github.com/andrew-johnson-4/-/wiki). -More information is available on the [Wiki](https://github.com/andrew-johnson-4/-/wiki). -