Hmm, looks like the #Yatima language has a new implementation in #Lean instead of Rust.
https://github.com/yatima-inc/yatima-lang
It doesn't have the old readme, so I'm not sure if it still has the same goals for the type system. 🤔
I should look at the sources when it's not exam season. 😓

Apparently these aren't as well known as I assumed they were, so here is some tech that I think would make a good #web0 . (like #web3 but more actual #decentralization and less bullshit)

#namedDataNetworking
https://named-data.net/

#Spritely (and #OCAP in general)
https://spritelyproject.org/

#Yggdrasil (could cooperate with NDN)
https://yggdrasil-network.github.io/

#Yatima
https://github.com/yatima-inc/yatima

Invest in these instead of NFTs.

This has been in my tabs for months, was gonna read more before linking it, but whatever, I have other projects, so here it is:

https://github.com/yatima-inc/yatima

cc @syntacticsugarglider have you seen this? it looks like it aligns with your ideals.

#yatima #typeTheory #programming