Snippets tagged type level
-
A type-level SAT solver in F#
A type-level SAT solver in F#, inspired by https://gist.github.com/wouter-swierstra/0b6062c9660e751cd535
5 people like this
Like the snippet!Posted: 8 years ago by Nick Palladinos
-
Generic Numeric Literals and Compile time Peano arithmetic
Generic Numeric Literals and Compile time Peano arithmetic
1 people like this
Like the snippet!Posted: 7 years ago by Nick Palladinos