Arc Forum
new
|
comments
|
leaders
|
submit
|
im's submissions
login
1.
Shorter programs, fewer axioms
10 points
by
im
5932 days ago |
14 comments