News for hackers. Stuff that matters.

A comment on F*: A proof oriented general purpose programming language.

Re:F*: A proof oriented general purpose programming language by aranchelk on Wednesday December 25, 2024 @08:24PM (#42512486)
Anyone coming from a Haskell background, there’s some interesting (though possibly dated) info here:

https://www.reddit.com/r/haskell/comments/76k1x0/what_do_you...

[ Parent | on HN ]

There are no comments on this comment yet.