Closed diamond-lizard closed 3 years ago
I think it would be useful to see which SRFIs have been superseded.
Maybe they could be highlighted in a different color?
The above commit does the highlighting. Please say if you want it done differently :)
I think it would be useful to see which SRFIs have been superseded.
Maybe they could be highlighted in a different color?