functional programming expert needed
Budget $10-30 USD
functional programming language COQ Programming Language expert needed for task
Coq is an interactive theorem prover
I need for task
contact me if you can do
deadline 2 days or less
proof assistant task
2 freelances font une offre moyenne de 30 $ pour ce travail
Hi, I'm Thanh. I have 3 years of experience in haskell programming. - Description Job current : + Refractoring XPath using Haskell as the principal programing language for developing the compiler. From there, find the Plus
Hi there, I'm an expert in functional programming and design patterns. I'm adapting functional programming to all my major languages - Python, TypeScript, Scheme, etc. I've also worked with Haskell a little when I was Plus