Skip to content

Commit f8a0315

Browse files
Update README.md
1 parent 79afe64 commit f8a0315

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

README.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -17,6 +17,7 @@ a = -8; // type error!
1717
This project has the LiquidJava verifier, the API and some examples for testing.
1818
You can find out more about LiquidJava in the following resources:
1919

20+
* [Try it](https://github.com/CatarinaGamboa/liquidjava-examples) with Codespaces or locally following these steps
2021
* [Website](https://catarinagamboa.github.io/liquidjava.html)
2122
* [Examples of LiquidJava](https://github.com/CatarinaGamboa/liquidjava-examples)
2223
* [LiquidJava Specification of the Java Standard Library](https://github.com/CatarinaGamboa/liquid-java-external-libs)

0 commit comments

Comments
 (0)