Haskell Subset to Dafny translator

Project information

Written in C, this is a tiny compiler for a miniscule Haskell subset (essentially, Int -> Int functions) to Dafny translator. So many C tools (Yacc, Lex, my datadec, generic modules etc) used, only about 20% of the code is human-written.

0 Commits
1 Branch
0 Tags

README

Created on

July 24, 2014

Copy SSH clone URLgit@gitlab.doc.ic.ac.uk:dcw/haskell-subset-to-dafny-translator.git
Copy HTTPS clone URLhttps://gitlab.doc.ic.ac.uk/dcw/haskell-subset-to-dafny-translator.git