type-theory-My Code Helper

What does "existential ty...

swift existential-type type-theory

Typescript: Intersection - Con...

typescript type-theory set-theory

What does it mean for a type t...

typescript union-types conditional-types type-theory

Is Haskell's type system C...

haskell type-systems type-theory

Why is "dict[int, int]&qu...

python python-typing type-theory

What is predicativity?...

haskell type-theory

How to create a list of elemen...

list haskell functional-programming agda type-theory

TypeScript recursive union fun...

typescript recursion types union type-theory

What is the paradigm of wrappi...

c++templates generics paradigms type-theory

Is allowing untagged unions eq...

haskell type-theory subtyping

Why can some disjoint and exha...

functional-programming pattern-matching agda dependent-type type-theory

List without gaps in Coq...

coq dependent-type type-theory

In cubical type theory, why ar...

types type-theory homotopy-type-theory cubical-type-theory

Is there a library for sets th...

coq type-theory

What is the relationship betwe...

recursion type-theory induction

Why can't all existential ...

logic proof theorem-proving type-theory

Confused about function subtyp...

types programming-languages type-theory

Why do we need containers?...

haskell generics agda dependent-type type-theory

It is possible to define a fun...

haskell functional-programming type-theory

Why can't I define this re...

agda dependent-type type-theory

Non-determinism on a set defin...

haskell functional-programming monads non-deterministic type-theory

Agda: Failed to solve the foll...

coq agda type-theory homotopy-type-theory agda-mode

How to write "twice"...

haskell type-theory

What is the difference between...

type-theory subtyping

Differences between Agda and I...

agda type-theory idris

Why coq doesn't use subtyp...

coq type-theory subtyping

What exactly is a Set in Coq...

coq type-theory

Covariant Types...

rust type-theory

In Haskell, does mutability al...

haskell immutability ghc mutability type-theory

What is the difference between...

haskell ghc type-theory