News for hackers. Stuff that matters.
Re:I made a command-line tool to assist me with writing poly... by dredozubov on Thursday June 29, 2023 @08:56AM (#36519752)
Very cool! I enjoy digging into dependent typing applications.

There are no comments on this comment yet.