lobste_rs feeds.twtxt.net Fri, May 10 01:59 (28w ago) Dafny Power User: Type-parameter modes: variance and cardinality preservation Comments ⌘ Read more ⤋ Read More