Re:A mundane use of dependent types
by Smaug123 on Monday March 01, 2021 @12:25PM
(#26305321)
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.
[ Parent
| on HN ]
There are no comments on this comment yet.