GitHub repository: reactive-systems/hanoi
Primary language: Haskell
Created: 2021-03-04T09:56:52Z
Description: Haskell Hanoi Automation Library