Boyd Stephen Smith Jr. on Nostr: nprofile1q…gpj45 nprofile1q…crk6a With two crows () you can do bidirectional type ...
nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqa4mkqpmz3vmyp2qghpesx3a5zaca37eeqtv3snzspq3rtyc8tqaq9gpj45 (nprofile…pj45) nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpq3zt993xksfy00djdtuxl780v65nq4ghemk724qtj7psnunjuaexs0crk6a (nprofile…rk6a) With two crows (https://rickandmorty.fandom.com/wiki/Two_Crows) you can do bidirectional type checking and reversible computation.