Re:A mundane use of dependent types
by butt_hugger on Monday March 01, 2021 @12:10PM
(#26305071)
We have links to tweets on the front page?
[ Parent
| on HN ]
Yes? Right now there are two such links on the front page. It's pretty common in general: https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...
Three days ago we had https://news.ycombinator.com/item?id=26280808 which is very highly upvoted.