https://github.com/kraks/2048.idr

Game 2048 written in a language with dependent types.
https://github.com/kraks/2048.idr

2048-game idris

Last synced: 14 days ago
JSON representation

Game 2048 written in a language with dependent types.

• Host: GitHub
• URL: https://github.com/kraks/2048.idr
• Owner: Kraks
• Created: 2016-05-12T08:02:38.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2016-10-19T18:57:16.000Z (about 8 years ago)
• Last Synced: 2024-10-11T21:51:57.580Z (about 1 month ago)
• Topics: 2048-game, idris
• Language: Idris
• Homepage:
• Size: 5.86 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project