Return
Styles:
Pseud0ch
,
Terminal
,
Valhalla
,
NES
,
Geocities
,
Blue Moon
.
Entire thread
python
1
Name:
Anonymous
2018-11-20 1:32
tell me what you know about python, and how to program in it
2
Name:
Anonymous
2018-11-20 3:12
It does not have dependent types so you should use agda instead.
Newer Posts
Don't change these.
Name:
Email:
Entire Thread
Thread List