8a500f2 Apr 30, 2017
@atacratic atacratic Remove commented-out code from libs/contrib/Interfaces/Verified.idr
4 contributors

Users who have contributed to this file
@atacratic @zjhmale @edwinb @david-christiansen