Rain 🚱 is a user on cybre.space. You can follow them or interact with them if you have an account anywhere in the fediverse.
Rain 🚱 @grainloom

learning makes me miss linear types when i use every other language and learning makes me miss totality checking and dependent types :blobsad:

· Web · 1 · 1
cybre.space powered by Mastodon