Make algebra interfaces verified by default (#4739)#4841

Closed

nickdrozd wants to merge 1 commit intoidris-lang:masterfrom nickdrozd:verified

+808-290

Commits on Apr 13, 2020

Make algebra interfaces verified by default (idris-lang#4739 )
nickdrozd
committed