skate: initial commit of skate with working parser
authorReto Achermann <reto.achermann@inf.ethz.ch>
Thu, 27 Apr 2017 14:45:58 +0000 (16:45 +0200)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Thu, 27 Apr 2017 14:45:58 +0000 (16:45 +0200)
commit2e341d7c80a1c09bc36b852b85fe6b7ec12b2cb7
tree47bc5cac5b684f6725cdb179f9bcc6ba643877dc
parentb1fff664bd4e7b600f50461a31a61d67b14d6fa3
skate: initial commit of skate with working parser

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
14 files changed:
tools/skate/CAbsSyntax.hs [new file with mode: 0644]
tools/skate/CSyntax.hs [new file with mode: 0644]
tools/skate/Hakefile [new file with mode: 0644]
tools/skate/Main.hs [new file with mode: 0644]
tools/skate/SkateBackendCode.hs [new file with mode: 0644]
tools/skate/SkateBackendCommon.hs [new file with mode: 0644]
tools/skate/SkateBackendHeader.hs [new file with mode: 0644]
tools/skate/SkateBackendLatex.hs [new file with mode: 0644]
tools/skate/SkateBackendWiki.hs [new file with mode: 0644]
tools/skate/SkateDeclarationTable.hs [new file with mode: 0644]
tools/skate/SkateParser.hs [new file with mode: 0644]
tools/skate/SkateSchema.hs [new file with mode: 0644]
tools/skate/SkateTypeTable.hs [new file with mode: 0644]
tools/skate/SkateTypes.hs [new file with mode: 0644]