Tour
About Us
Meta
Loading…
Log in
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
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
bookmarks
subscriptions
Top Questions
15
votes
Statically “extend” a record-ish data type without indirection hassle
functional-programming
nested
ocaml
sml
records
asked Feb 21 '12 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 '12 at 9:28
cstheory.stackexchange.com
13
votes
cabal-install and Debian
haskell
debian
cabal
haskell-platform
cabal-install
asked Mar 21 '11 at 16:52
stackoverflow.com
Top Answers
45
Difference between type parameters and indices?
stackoverflow.com
31
string to list of char
stackoverflow.com
24
Find the definition and notations like ++ in Coq
stackoverflow.com
24
Differences between Coq and Agda
stackoverflow.com
21
Introduce previously proved theorem as hypothesis
stackoverflow.com
20
Software Transactional Memory - Composability Example
stackoverflow.com
18
“Verbose” auto in Coq
stackoverflow.com
13
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
12
How to set context to rxjs subscribe callback function?
stackoverflow.com
11
How should I refactor this Haskell code to make it more elegant?
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
10
Coq: how to apply one hypothesis to another
stackoverflow.com
9
Coqide Error: Compiled library Basics.vo makes inconsistent assumptions over library
stackoverflow.com
8
Coq — understanding `forall` syntax
stackoverflow.com
7
Specification Language vs Programming Language
stackoverflow.com
7
How do inductive proposition work in Coq?
stackoverflow.com
7
Relation between types prod and sig in COQ
stackoverflow.com
7
OCaml functors :: counter-intuitive behaviour
stackoverflow.com
7
How to get the shortest palindrome of a string
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
6
Redundant clause in match
stackoverflow.com
6
Finite map example
stackoverflow.com
1
2
next
Stack Exchange works best with JavaScript enabled