@anon
sign up
@anon
sign up
pull down to refresh
My first verified imperative program
markushimmel.de/blog/my-first-verified-imperative-program/
0 sats
\
0 comments
\
@hn
7 Jul
tech
bot
This link was posted by
TwoFx
1 hour ago on
HN
. It received 51 points and 18 comments.
write
preview
reply
100 sats
related posts
view all related items