Ask Ubuntu
James Martin's user avatar
James Martin's user avatar
James Martin's user avatar
James Martin
  • Member for 5 years, 2 months
  • Last seen more than a month ago
Profile Activity
Stats
291
reputation
9k
reached
1
answer
1
question
Communities
View all
Badges
This user doesn’t have any gold badges yet.
2
silver badges
8
bronze badges
Top tags
11
Score
2
Posts
100
Posts %
11
Score
2
Posts
100
Posts %
11
Score
2
Posts
100
Posts %
11
Score
2
Posts
100
Posts %
11
Score
2
Posts
100
Posts %
Top posts
answer
11
How can I convert an animated WebP to a WebM?
May 6, 2019
question
8
How can I convert an animated WebP to a WebM?
May 6, 2019
Top network posts
View all network posts
18
What is the trade-off to accepting impredicative propositions?
16
What axioms have a computational interpretation?
15
Why should you "never resort to polymorphism when initiality would do"?
12
Why does it matter if canonicity holds for irrelevant types?
10
How does Prop relate to h-prop and double negation?