A compiler for the B programming language
Primary LanguageHaskellMIT LicenseMIT
This repository is not active