List Question
10 TechQA 2025-01-01 11:23:29How can linear-types replace monads?
255 views
Asked by kuwze
How to define a subformula of an inductively defined type in Agda?
155 views
Asked by AudioBubble
OCaml passing labeled function as parameter / labeled function type equivalence
4.2k views
Asked by Xiao Jia
Function arity of a first-class function
548 views
Asked by Marcelo Camargo
Why can some disjoint and exhaustive patterns not be represented as definitional equalities?
138 views
Asked by user11718766
Parity of nested function type and recursive call
72 views
Asked by pollatron
Type theory: type kinds
1.6k views
Asked by controlflow
Why is record considered product type but class not so in java?
258 views
Asked by wlnirvana
Intuitionistic Propositional Logic
151 views
Asked by geguze
Proof by contradiction in Coq
1.2k views
Asked by Alan Audia