https://github.com/noughtmare/game-semantics

An implementation of concepts from the game semantics OPLSS course
https://github.com/noughtmare/game-semantics

Last synced: 23 days ago
JSON representation

An implementation of concepts from the game semantics OPLSS course

• Host: GitHub
• URL: https://github.com/noughtmare/game-semantics
• Owner: noughtmare
• Created: 2022-06-23T01:31:41.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2022-06-23T05:35:35.000Z (over 2 years ago)
• Last Synced: 2023-08-02T03:52:53.815Z (over 1 year ago)
• Language: Haskell
• Size: 2.93 KB
• Stars: 0
• Watchers: 4
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project