From 1f7a18ac477db691849778ce8a0e101ef258afa0 Mon Sep 17 00:00:00 2001 From: Sean Gillespie Date: Mon, 13 Jun 2022 22:00:41 -0400 Subject: [PATCH] Update README formatting one more time --- README.md | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/README.md b/README.md index 7078163..1541d42 100644 --- a/README.md +++ b/README.md @@ -7,19 +7,18 @@ on function abstraction and application. This project is intended to be an educational resource for learning and implementing functional programming languages. -**Looking for Lambda Calculator?** It's been moved into it's own repository: https://github.com/sgillespie/lambda-calculator +**Looking for Lambda Calculator?** It's been moved to [sgillespie/lambda-calculator](https://github.com/sgillespie/lambda-calculator) ## Introduction to Lambda Calculus Introductory material is provided. They can be found at - * [doc/lambda-calculus.md](doc/lambda-calculus.md) - * [doc/system-f.md](doc/system-f.md) +[doc/lambda-calculus.md](doc/lambda-calculus.md) ### Extended Examples More examples can be found in the Lambda Calculator's test-suite, located at - * [test/Language/Lambda/Untyped/Examples](test/Language/Lambda/Untyped/Examples) - * [test/Language/Lambda/SystemF/Examples](test/Language/Lambda/SystemF/Examples) + * [test/Language/Lambda/Untyped/Examples](https://github.com/sgillespie/lambda-calculator/tree/master/test/Language/Lambda/Untyped/Examples) + * [test/Language/Lambda/SystemF/Examples](https://github.com/sgillespie/lambda-calculator/tree/master/test/Language/Lambda/SystemF/Examples) ## Implementation A simple implementation of lambda calculus is available at https://github.com/sgillespie/lambda-calculator.