johnhungerford
/ TicTacToe.Scala
Last active
March 26, 2023 11:13
Type level tic tac toe using match types
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| sealed trait Bool | |
| object Bool: | |
| sealed trait True extends Bool | |
| sealed trait False extends Bool | |
| sealed trait Nat | |
| object Nat: | |
| sealed trait _0 extends Nat | |
| sealed trait Succ[N <: Nat] extends Nat |
OlderNewer