Skip to content
Snippets Groups Projects
Commit a1c7dcf0 authored by Rodrigo Raya's avatar Rodrigo Raya
Browse files

Update amy_specification.md

parent b5040c28
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
labs/amy_specification.md
+ 2
− 2
View file @ a1c7dcf0
===== The Amy Specification ===== # The Amy Specification
You can access the Amy specification document [[http://lara.epfl.ch/~gschmid/clp20/amy-spec.pdf|here]]. You can access the Amy specification document [here](https://drive.switch.ch/index.php/s/jht9KdKDu9KidB2).
\ No newline at end of file
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment