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
greatBigDot
top
accounts
reputation
activity
subscriptions
Top Questions
13
votes
Why are empty arrays treated as unset in bash?
arrays
bash
shell
windows-subsystem-for-linux
asked Jan 23, 2018 at 4:27
stackoverflow.com
11
votes
In Idris, why do interface parameters have to be type or data constructors?
math
types
interface
idris
type-theory
asked May 26, 2018 at 20:10
stackoverflow.com
9
votes
Making a nameref a regular variable in bash
bash
unset
indirection
asked Mar 8, 2018 at 17:59
stackoverflow.com
7
votes
In bash, which traps are inherited by functions and builtins?
bash
shell
code-cleanup
asked Apr 9, 2018 at 1:06
stackoverflow.com
7
votes
How do continuations represent negations (under the Curry–Howard correspondence)?
lo.logic
type-theory
proof-theory
continuations
curry-howard
asked Jun 12, 2019 at 22:15
cstheory.stackexchange.com
Top Answers
No answers with score of 5 or more
Stack Exchange works best with JavaScript enabled
stackoverflow.com
cstheory.stackexchange.com