Back to Haskell.org
GSoC 2022

Formalising Konnakol using Haskell

Project details

Contributor

Aravind Mohandas

Mentors

Alex McLean

Technologies

Not listed in the archive