Timeline of important events for ##typetheory
This channel hasn't documented any historical events yet.
Sign in to access all features
Sign in to continue
You will be redirected to: /network/Libera.Chat/channel/%23typetheory/history/
/network/Libera.Chat/channel/%23typetheory/history/
Don't have an account? Create one