Remove "Stuff still missing" section from README

stefan-hoeck / idris2-pack

BSD 3-Clause "New" or "Revised" License

90 stars 23 forks source link

Closed joelberkeley closed 1 month ago

joelberkeley commented 1 month ago

Seems this section is all implemented now, and as a reader it's unclear to me whether those things are still missing or were and have been completed

stefan-hoeck commented 1 month ago

Thanks!