Jack WheatleyinThe StartupRationality in a Natural World: Arithmetic at the Type-LevelTaking a step beyond type-level natural numbers, we will derive a type-level encoding of (positive) rational numbers in Scala.Nov 26, 2019Nov 26, 2019
Jack WheatleyinThe StartupBoolean Logic using the Scala CompilerPushing boolean to the type-levelMay 28, 2019May 28, 2019