ducktective

Karma: 8,234
Created: 7 years ago

About

quack quack quack! :)

Recent Submissions

1. ▲ F*: A general-purpose proof-oriented programming language (fstar-lang.org) 189 points · 3 months ago · 99 comments

All submissions on HN · View profile on HN