LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
cc18:amy_specification [2018/09/19 16:28]
georg.schmid
cc18:amy_specification [2018/09/19 18:01]
georg.schmid
Line 1: Line 1:
 ===== The Amy Specification ===== ===== The Amy Specification =====
  
-You can access the Amy specification document ​{{:cc18:​amy-spec.pdf|here}}.+You can access the Amy specification document ​[[http://​lara.epfl.ch/​~gschmid/​clp18/​amy-spec.pdf|here]].