semenov-vladyslav/slots-agda

Slot games calculations in agda

This repository is not active