karmacoma
@karma
massive new version of halmos released: https://a16zcrypto.com/posts/article/halmos-v0-3-0-release-highlights/ I won't rehash the points here, but happy to do an AMA
0 reply
0 recast
3 reactions
