TN-020: adding some notes on the AST checks
authorReto Achermann <reto.achermann@inf.ethz.ch>
Fri, 5 May 2017 17:58:23 +0000 (19:58 +0200)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Fri, 5 May 2017 17:58:23 +0000 (19:58 +0200)
commitbfa17c71c54cfbb376ca529b9a59bed35a3816d1
tree95b8331e35629dfffbfb675fac248128afb2d793
parentbf97dddc51191185506c3c06b489b9aff55a7915
TN-020: adding some notes on the AST checks

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
doc/020-skate/Skate.tex