Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in singleton-type

Singletons TypeRepStar Sing Data Instance

haskell singleton-type

Using haskell's singletons, how can I write `fromList :: [a] -> Vec a n`?

haskell singleton dependent-type singleton-type

Memory-efficient dummy values in Haskell

haskell map set trie singleton-type

How to (unsafely) reflect a map as a constraint?

dictionary haskell reflection typeclass singleton-type

What is the proper way to use Nat/Natural in a singletons data type?

haskell singleton-type

Surprising equivalences and non-equivalences regarding this.type

scala reflection traits path-dependent-type singleton-type

Ostensible inconsistencies in singleton types

scala types programming-languages type-systems singleton-type

Scala: is there a way to create inline types?

scala types inline type-systems singleton-type

TypeLits or Singletons: Promoting an `Integer` to `KnownNat` (`Nat`) at Runtime

haskell types ghc dependent-type singleton-type

Is there any connection between `a :~: b` and `(a :== b) :~: True`?

haskell equality dependent-type type-level-computation singleton-type

Idiomatic boolean equality usage (singletons)

haskell dependent-type singleton-type

Singletons in Heterogenous Lists

haskell dependent-type data-kinds singleton-type

Proving a type inequality to GHC

haskell dependent-type gadt type-families singleton-type

Can I get KnownNat n to imply KnownNat (n * 3), etc?

haskell singleton-type

How to use the dependent pair type Sigma from the singletons library?

haskell types dependent-type singleton-type

Restricting a trait to objects?

scala traits singleton-type

Haskell singletons: What do we gain with SNat

haskell dependent-type type-level-computation singleton-type
Older Entries »