Skip to content

Commit

Permalink
Merge pull request #1037 from andrew-johnson-4/andrew-johnson-4-patch-1
Browse files Browse the repository at this point in the history
Update README.md
  • Loading branch information
andrew-johnson-4 authored Dec 13, 2024
2 parents 91a048c + 450649a commit ff1b226
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

λ☶ (pronounced Lambda Mountain) is a typed macro assembler that provides a relatively clean implementation of **System F<: with Specialization**.

* [TUTORIAL](https://github.com/andrew-johnson-4/lambda-mountain/blob/main/TUTORIAL/terms-1.md)
* [TUTORIAL](https://github.com/andrew-johnson-4/LSTS/wiki)
* [WIKI](https://github.com/andrew-johnson-4/-/wiki)
* [DOCS](https://andrew-johnson-4.github.io/lambda-mountain/)

Expand Down

0 comments on commit ff1b226

Please sign in to comment.