xieyuheng | Lambda the Ultimate

xieyuheng

view
track

Personal information

Country:
China

Gender:
male

Interests:

math

History

Member for:
10 years 6 weeks

Browse archives

Active forum topics

New forum topics

Recent comments

Ah, cancel that request.
14 weeks 16 hours ago
.
14 weeks 19 hours ago
First-class link?
14 weeks 19 hours ago
Video Presentation
36 weeks 2 days ago
Also published in ICFP
40 weeks 3 days ago
About identifiers...
42 weeks 1 day ago
Duplicate comment deleted.
42 weeks 1 day ago
Also true for postfix
44 weeks 5 days ago
That's all about the delimiters.
49 weeks 3 days ago
How about prefix notation?
49 weeks 3 days ago