News for hackers. Stuff that matters.
Re:Chris Lattner left Swift core team by joaogui1 on Monday February 21, 2022 @07:30PM (#30422659)
Idris, some Haskell extension, and Agda

There are no comments on this comment yet.