Giters
LightAndLight
/
idris-tictactoe
TicTacToe using dependent types
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
5
Watchers:
3
Issues:
0
Forks:
LightAndLight/idris-tictactoe Stargazers
Oleg Serbokryl
Krokop
Jon Schoning
jonschoning
Emre Sevinç
emres
Angel Ortega (he/they)
joyoyoyoyoyo