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

New posts in dependent-type

Dependent types and polymorphism in Python with mypy

python typing dependent-type mypy

Are generics parameterized by values the same as dependent types?

generics language-agnostic dependent-type

Coq: trying to use dependent induction

rocq-prover dependent-type

Is there a language with constrainable types?

haskell agda dependent-type

Why haven't newer dependently typed languages adopted SSReflect's approach?

rocq-prover agda idris dependent-type lean

Agda – difference between type args on the left and right side of the colon

agda dependent-type type-level-computation curry-howard

How to make Vect n Int an instance of Monoid

haskell types functional-programming dependent-type idris

Typed abstract syntax and DSL design in Haskell

haskell dsl language-design dependent-type

Order of type arguments in indexed vectors

haskell dependent-type

'half' function type signature in Idris

dependent-type idris

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

haskell singleton dependent-type singleton-type

How to pattern match multiple values in Idris/Agda/Coq?

coq agda dependent-type idris

Type Juggling with Existentials at Runtime

haskell dependent-type gadt existential-type combinators

In Idris, how to add 1 to a Fin until a "max" is Reached

enums dependent-type idris

Why Nat data type in Idris starts with 0 and not 1?

dependent-type idris

Dependent Types in Elm

types elm dependent-type idris

Scala Dependent type does not compile

scala dependent-type path-dependent-type

In Scala is it possible to retrieve the `val` referenced by a singleton type?

scala types dependent-type

Coq: type mismatch on dependent lists which could be solved by a proof

list rocq-prover dependent-type theorem-proving

How to use toSing from singletons library?

haskell singleton dependent-type data-kinds
Older Entries »