Closed clayrat closed 5 years ago
I want to ultimately add NEList and DList to Idris (2)'s contrib, but maybe lets keep this here for now.
I agree that these modules should ideally be upstreamed.
I want to ultimately add NEList and DList to Idris (2)'s contrib, but maybe lets keep this here for now.