Mastermind in Agda, Running in the Browser

One of my students, Dénes Hegedűs wrote a mastermind game in Agda, with agda-frp-js as his BSc thesis.

Remarks: