Skip to content

Commit 1f7a18a

Browse files
authored
Update README formatting one more time
1 parent 81555f2 commit 1f7a18a

File tree

1 file changed

+4
-5
lines changed

1 file changed

+4
-5
lines changed

README.md

Lines changed: 4 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -7,19 +7,18 @@ on function abstraction and application.
77
This project is intended to be an educational resource for learning and
88
implementing functional programming languages.
99

10-
**Looking for Lambda Calculator?** It's been moved into it's own repository: https://github.com/sgillespie/lambda-calculator
10+
**Looking for Lambda Calculator?** It's been moved to [sgillespie/lambda-calculator](https://github.com/sgillespie/lambda-calculator)
1111

1212
## Introduction to Lambda Calculus
1313
Introductory material is provided. They can be found at
1414

15-
* [doc/lambda-calculus.md](doc/lambda-calculus.md)
16-
* [doc/system-f.md](doc/system-f.md)
15+
[doc/lambda-calculus.md](doc/lambda-calculus.md)
1716

1817
### Extended Examples
1918
More examples can be found in the Lambda Calculator's test-suite, located at
2019

21-
* [test/Language/Lambda/Untyped/Examples](test/Language/Lambda/Untyped/Examples)
22-
* [test/Language/Lambda/SystemF/Examples](test/Language/Lambda/SystemF/Examples)
20+
* [test/Language/Lambda/Untyped/Examples](https://github.com/sgillespie/lambda-calculator/tree/master/test/Language/Lambda/Untyped/Examples)
21+
* [test/Language/Lambda/SystemF/Examples](https://github.com/sgillespie/lambda-calculator/tree/master/test/Language/Lambda/SystemF/Examples)
2322

2423
## Implementation
2524
A simple implementation of lambda calculus is available at https://github.com/sgillespie/lambda-calculator.

0 commit comments

Comments
 (0)