> console
[info] Starting scala interpreter...
[info]
Welcome to Scala 2.12.1 (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_112).
Type in expressions for evaluation. Or try :help.
scala> import net.IsValidInductive
import net.IsValidInductive
scala> import shapeless._, nat._
import shapeless._
import nat._
scala> IsValidInductive[_3 :: _4 :: _5 :: _8 :: _8 :: _2 :: _8 :: _6 :: _5 :: HNil
-
-
Save kevinmeredith/528ae94d9aa4e7a8896565266a631dc8 to your computer and use it in GitHub Desktop.
KataBankOCR #2 Attempt w/ Shapeless
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment