https://github.com/eeue56/idris-hangman

Example of hangman in Idris
https://github.com/eeue56/idris-hangman

Last synced: about 2 months ago
JSON representation

Example of hangman in Idris

• Host: GitHub
• URL: https://github.com/eeue56/idris-hangman
• Owner: eeue56
• License: bsd-3-clause
• Created: 2016-05-21T20:54:25.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2016-05-29T01:40:04.000Z (over 8 years ago)
• Last Synced: 2024-05-21T12:33:39.725Z (8 months ago)
• Language: Idris
• Size: 2.93 KB
• Stars: 5
• Watchers: 4
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project