For companies
Hire developers
Hire designers
Hire marketers
How Arc works
Case studies
Pricing
Resources
Remote dev salary explorer
Freelance developer rate explorer
Job description templates
Interview questions
Remote work FAQs
Team bonding playbooks
Employer blog
For talent
Overview
Remote jobs
Remote companies
Resources
Resume builder and guide
Talent career blog
Log In
Find jobs
Hire talent
Log In
Find jobs
Hire talent
Personal details
Manuel B.
Timezone:
Vienna (UTC+2)
Hire now
Summary
I am a Haskell developer with focus on functional reactive programming and program verification.
Technical skills
Haskell・4 yrs
Idris・1 yr
Git・6 yrs
Personal Projects
Rhine - Functional Reactive Programming framework with type-level clocks
IconOpenNewWindows
2017
Haskell
I am developing and using an open source FRP library for games, web apps (frontend and backend) and embedded applications.