small amount of code I wrote for Yannis's Law checking
Primary LanguageHaskellEclipse Public License 1.0EPL-1.0