Unofficial mirror of
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Benjamin Danek 21cd920b61
punctuation change
7 months ago
Properties typo fix in delete test comment: identiy -> identity 1 year ago
Instances.hs run more tests (and add a couple) 5 years ago
Properties.hs punctuation change 7 months ago
Utils.hs make the check for overflow cleaner 5 years ago
loc.hs loc.hs: hlintify 10 years ago