HN Explorer

caotic123

↗ HN profile [ 78.5 ms ] full profile
Karma
70
Created
August 11, 2021 (5y ago)
Submissions
0
  1. I am selling a lambda expression as an NFT (opensea.io)
    3 points 3
  2. Show HN: Dependently typed language for proofs that you can implement in one day (github.com)
    138 points 96