Skip to main content
Ashley Yakeley's user avatar
Ashley Yakeley's user avatar
Ashley Yakeley's user avatar
Ashley Yakeley
  • Member for 13 years, 2 months
  • Last seen this week
Profile Activity
Stats
691
reputation
9k
reached
3
answers
12
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
13
bronze badges
Top tags
View all tags
7
Score
6
Posts
40
Posts %
7
Score
3
Posts
20
Posts %
7
Score
2
Posts
13
Posts %
2
Score
5
Posts
33
Posts %
2
Score
2
Posts
13
Posts %
2
Score
2
Posts
13
Posts %
Top posts
View all questions, answers, and articles
9
Why is this injective type family not actually injective?
Apr 5, 2019
7
Coq tactic for record equality?
Jul 6, 2014
7
Why is this injective type family not actually injective?
Apr 5, 2019
6
cabal test in a sandbox
Aug 13, 2014
5
Coq: unfolding class instances
Jun 8, 2014
4
Either in unboxed vectors
Feb 22, 2014
4
GHC options in cabal sandboxes
Jul 21, 2014
3
How do I retrieve the root window properties for a display in X11?
May 15, 2011
3
In Haskell on Linux, is there a way of emitting an executable file for an arbitrary IO action?
Jun 16
2
Coq auto-simplification similar to Isabelle?
Jun 6, 2014
Top network posts
View all network posts
11
What is it called when f(g(x)) = x?
9
Is there a way of getting correct CLOCK_TAI on Linux?
5
Should my retirement portfolio's asset allocation become more conservative over time?
5
sudo for users with empty passwords