Working at HigherOrderCO. Mainly using Agda; Haskell and Lisp are just for show. I glitch hunt speedruns to break games. Repos are just a compiled of snippets to feed transformers
- Work: HigherOrderCO
- Repos: github.com/PHAredes
- More Code: gist
- LinkedIn: linkedin.com/in/phredes
- Email: pedro.aredes@hotmail.com
- GitHub: github.com/PHAredes
- Work: Parallel computing at HOC
- Side Hustle: Coding languages, speedrun shenanigans, food enthusiast, former bartender