What is Nostr?
Capital /
npub1ryf…ur9z
2023-07-06 16:13:23
in reply to nevent1q…kwm0

Capital on Nostr: npub1z70sk…gjtuz :: Hopefully it can see it's moment. It's a nice language to us. ...

npub1z70sk8dp9daycrrpg4xwss9t0cujpxat5u6ynxc9yy2tvraw890sqgjtuz (npub1z70…jtuz) :: Hopefully it can see it's moment. It's a nice language to us. It has (almost) the exact type system I want in a compiled language. There are two languages with all the parts I want. But, one of them is Scala which has a lot of parts I don't want. And parts like dependent typing, are done better in a language like Idris.
Author Public Key
npub1ryfja06pvw3rnyv3hjgvy0en68lyj3wta8yq0vx3j6ch9gnsr9ss2wur9z