Return
Styles:
Pseud0ch
,
Terminal
,
Valhalla
,
NES
,
Geocities
,
Blue Moon
.
Entire thread
Dependently typed FizzBuzz
1
Name:
Anonymous
2015-03-23 5:49
https://gist.github.com/david-christiansen/3660d5d45e9287c25a5e
24
Name:
Anonymous
2015-03-27 4:08
>>21,23
Immature Coq users or... ? I don't think you have ever touched Coq before in your lives. I'd rather get an answer from a person with experience in Coq.
Newer Posts
Don't change these.
Name:
Email:
Entire Thread
Thread List