search

idris-lang / Idris2

A purely functional programming language with first class types
https://idris-lang.org/
Other
2.46k stars 369 forks source link

[ fix #72 ] remove the broken modules #3319

Closed gallais closed 2 weeks ago

gallais commented 2 weeks ago

People are still hitting the same issueT There has been no movement towards fixing it It is IMO unfixable

Let's drop it.

gallais commented 2 weeks ago

Thanks @CodingCellist for the cleanup after my mess!

CodingCellist commented 2 weeks ago

np : )

curiously, github doesn't seem to find #72 as something I can link to this pr. Maybe it's too far back? o.ô

buzden commented 2 weeks ago

Maybe it's too far back? o.ô

It is actually a copy of an issue from another repository, and github seems to struggle with such stuff