Computer Science
Andrew Cann's user avatar
Andrew Cann's user avatar
Andrew Cann's user avatar
Andrew Cann
  • Member for 8 years, 4 months
  • Last seen more than a month ago
Profile Activity
Stats
341
reputation
832
reached
2
answers
5
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
8
bronze badges
Top tags
View all tags
4
Score
7
Posts
100
Posts %
4
Score
2
Posts
29
Posts %
0
Score
2
Posts
29
Posts %
0
Score
2
Posts
29
Posts %
0
Score
1
Posts
14
Posts %
0
Score
1
Posts
14
Posts %
Top posts
All Questions Answers
Score Newest
question
6
How to prove $0\neq1$ using the J rule?
Aug 6, 2015
question
4
How to define the natural numbers as a W-type?
Sep 10, 2018
question
4
Meaning of the "why not" modality from linear type theory?
Mar 6, 2019
answer
4
How to define the natural numbers as a W-type?
Sep 10, 2018
question
3
Definition of M-type in type theory
Mar 15, 2019
question
1
Is it possible to interpret some Martin-Löf types as abelian monoids in such a way that any abelian monoid can be represented as a type?
Mar 7, 2019
answer
0
Definition of M-type in type theory
Aug 30, 2021
Top network posts
View all network posts
18
How to make patch ignore already applied hunks
12
Can someone explain the different types of unix domain sockets?
11
Compile webassembly to native executable
10
Make vimdiff display different lines as different lines (not partially different)
8
define double constant as hexadecimal?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.