Tour
About Us
Meta
Loading…
current community
Stack Exchange
chat
Meta Stack Exchange
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
company blog
Log in
Stack Exchange
All Sites
Top Users
Digests
Ptival
San Diego, CA
http://cs.ucsd.edu/~vrobert
CS student.
More on my web page.
SOreadytohelp
top
accounts
reputation
activity
subscriptions
Top Questions
15
votes
Statically "extend" a record-ish data type without indirection hassle
functional-programming
nested
ocaml
sml
records
asked Feb 21, 2012 at 14:52
stackoverflow.com
13
votes
"Guarded" negative occurrences in definition of inductive types, always bad?
lo.logic
type-theory
soundness
asked Nov 21, 2012 at 9:28
cstheory.stackexchange.com
13
votes
cabal-install and Debian
haskell
debian
cabal
haskell-platform
cabal-install
asked Mar 21, 2011 at 16:52
stackoverflow.com
Top Answers
50
Difference between type parameters and indices?
stackoverflow.com
34
Differences between Coq and Agda
stackoverflow.com
31
string to list of char
stackoverflow.com
26
Find the definition and notations like ++ in Coq
stackoverflow.com
23
Introduce previously proved theorem as hypothesis
stackoverflow.com
21
Software Transactional Memory - Composability Example
stackoverflow.com
21
"Verbose" auto in Coq
stackoverflow.com
16
How to set context to rxjs subscribe callback function?
stackoverflow.com
16
Understanding the Haskell as-pattern
stackoverflow.com
13
A Haskell interpreter /w type definitions
stackoverflow.com
12
Coq - use Prop (True | False) in if ... then ... else
stackoverflow.com
11
How should I refactor this Haskell code to make it more elegant?
stackoverflow.com
11
Coq: how to apply one hypothesis to another
stackoverflow.com
10
Limitations of Fixpoint in Coq?
stackoverflow.com
10
How to instantiate a variable of forall in a hypothesis in Coq?
stackoverflow.com
10
Unable to find an instance for the variable
stackoverflow.com
9
Specification Language vs Programming Language
stackoverflow.com
9
Coqide Error: Compiled library Basics.vo makes inconsistent assumptions over library
stackoverflow.com
9
Relation between types prod and sig in COQ
stackoverflow.com
8
Coq -- understanding `forall` syntax
stackoverflow.com
8
How do inductive proposition work in Coq?
stackoverflow.com
7
Parsing function application with Happy
stackoverflow.com
7
OCaml functors :: counter-intuitive behaviour
stackoverflow.com
7
How to get the shortest palindrome of a string
stackoverflow.com
7
Finite map example
stackoverflow.com
7
Proof by cases using Coq
stackoverflow.com
6
Find triangle in the graph
stackoverflow.com
6
What forms of goal in Coq are considered to be "true"?
stackoverflow.com
6
Prop and bool in Coq
stackoverflow.com
6
What is the exactly the term "10" in Coq?
stackoverflow.com
1
2
next
Stack Exchange works best with JavaScript enabled