Why Nostr? What is Njump?
2023-07-06 16:13:23
in reply to

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

:: 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