Fixed some of the issues for idris 0.12.2#12
Open
archaeron wants to merge 1 commit intoSimonJF:masterfrom
Open
Fixed some of the issues for idris 0.12.2#12archaeron wants to merge 1 commit intoSimonJF:masterfrom
archaeron wants to merge 1 commit intoSimonJF:masterfrom
