Haskell
-- Language
English
Japanese
Spanish
French
Hebrew
Russian
Ukrainian
The meeting place for professional Haskell programmers
Overview
Groups
Find
a Haskeller
Find a Job
Polls
Bling
FAQ
News Archive
Browse Skills
Login
I'm a Haskeller!
Karl Frederick Roldan
Karl Frederick Roldan
Using Haskell since 2020
Reveal email address
You can ask me about full- or part-time employment
Living in Naga City, Philippines
About Me
I'm a CS student mainly using C++ and Haskell for my needs. I am using for Computational Geometry research.
Skills
Agda
Computational Geometry
Computer algebra
Formal Verification
Login with
Login using
— OR —