cypheon @cypheon@mastodon.technology
- Sourcehut
- https://sr.ht/~cypheon
- Github
- https://github.com/cypheon
- Matrix
- @cypheon:nitro.chat
- Antifa
- ✓
Software developer with a passion for free software, functional programing, and formal verification.
he/him
Joined Feb 2019
A semaphore looks like this and no one can convince me otherwise.
I created a tiny and fast documentation browser for Idris2: https://idris2docs.sinyax.net/
- Sourcehut
- https://sr.ht/~cypheon
- Github
- https://github.com/cypheon
- Matrix
- @cypheon:nitro.chat
- Antifa
- ✓
Software developer with a passion for free software, functional programing, and formal verification.
he/him
Joined Feb 2019
