Area 51 » Potato44

info activity reputation

reputation

9 views

discussion user

network profile

Registered User

name	Potato44
member for	3 years
seen	Jan 25 '22 at 20:09
website
location

stats accounts

0

Proposals

0

Current Commitments

0

Fulfilled Commitments

0

Followed

1

Example Question

Proof Assistants: What is the difference between a datatype's parameters and indexes? Why do we have both concepts?

6

Votes Cast

5 up

1 down

4

Badges

● Nice Question

user feed