cypheon @cypheon@mastodon.technology
- Keybase
- cypheon
- 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
I created a tiny and fast documentation browser for Idris2: https://idris2docs.sinyax.net/
- Keybase
- cypheon
- 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
