Sockeye TN: More updates
authorDaniel Schwyn <schwyda@student.ethz.ch>
Tue, 25 Jul 2017 15:59:25 +0000 (17:59 +0200)
committerDaniel Schwyn <schwyda@student.ethz.ch>
Tue, 25 Jul 2017 15:59:25 +0000 (17:59 +0200)
commitf756d6c46393dcfc1c004ad30608419eb8a0c839
tree9ac8881340b6aea132c986c6893c404f36401a88
parente815eca52b06eb4cd0ff5b70dd402808e068ebab
Sockeye TN: More updates

- Use modules in examples
- Update lexical conventions and some of the syntax
- Update prolog mapping

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
doc/025-sockeye/Sockeye.tex
doc/025-sockeye/example.soc
tools/sockeye/SockeyeParser.hs