News for hackers. Stuff that matters.

A comment on Chris Lattner left Swift core team. Parent comment

Re:Chris Lattner left Swift core team by xiaodai on Monday February 21, 2022 @06:02PM (#30421891)
what's an example of said language?
[ Parent | on HN ]
Re:Chris Lattner left Swift core team by joaogui1 on Monday February 21, 2022 @07:30PM (#30422659)
Idris, some Haskell extension, and Agda
[ Parent | on HN ]