curry-howard-My Code Helper

How to implement OCaml functio...

types functional-programming ocaml type-inference curry-howard

What is a correct way to prove...

types functional-programming ocaml type-inference curry-howard

Agda – difference between type...

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

If Either can be either Left o...

haskell functional-programming boolean-logic category-theory curry-howard

What type corresponds to a xor...

haskell functional-programming category-theory curry-howard

Curry Howard correspondence in...

coq curry-howard

Curry's paradox in Haskell...

haskell recursion logic curry-howard

CoNat : proving that 0 is neut...

proof agda curry-howard coinduction codata

What's the equivalent of a...

computer-science curry-howard

What else can `loeb` function ...

haskell functor curry-howard

How to prove the principle of ...

scala proof type-level-computation curry-howard

What are the most interesting ...

functional-programming formal-methods curry-howard

Why do Leans `Prop`ositions ge...

types theorem-proving curry-howard lean

Curry-Howard isomorphism...

haskell types logic curry-howard

What is the bottom type?...

lambda-calculus type-theory curry-howard

Dependent Types: How is the de...

haskell agda dependent-type idris curry-howard

What's the absurd function...

haskell type-theory curry-howard

Could not deduce SingI of pred...

haskell dependent-type singleton-type curry-howard

Practical examples of using Vo...

haskell types type-systems curry-howard

De Morgan's Laws in Haskel...

haskell functional-programming demorgans-law curry-howard

What is a "roundabout pro...

types logic proof curry-howard

Curry Howard correspondence an...

haskell authentication functional-programming type-theory curry-howard

Implications as functions in C...

logic coq curry-howard

Is Curry-Howard correspondent ...

haskell continuations curry-howard

How or is that possible to pro...

equality coq proof dependent-type curry-howard

COQ definition curry howard (A...

coq curry-howard

Constructing efficient monad i...

haskell complexity-theory monads continuations curry-howard

Can GADTs be used to prove typ...

haskell curry-howard

Is there a Scala function of t...

scala unit-type curry-howard

I can't get my GADT-based ...

haskell gadt curry-howard