H

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

Loading