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

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

Last synced: about 1 month 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 (almost 9 years ago)
• Default Branch: master
• Last Pushed: 2016-05-29T01:40:04.000Z (almost 9 years ago)
• Last Synced: 2025-01-26T17:37:29.171Z (3 months ago)
• Language: Idris
• Size: 2.93 KB
• Stars: 5
• Watchers: 4
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# idris-hangman

Example of hangman in Idris 10+. 

This is an example of how to use Haskell-like IO in Idris. It does not use the typed effects stuff.