Araq | Lambda the Ultimate

Araq

view
track

Personal information

Interests:

Type systems, formal semantics, macro systems.

History

Member for:
5 years 37 weeks

Browse archives

Active forum topics

New forum topics

Recent comments

HTML links
5 days 19 hours ago
Numerical Tower
6 days 20 hours ago
None
1 week 7 hours ago
Thank you!
2 weeks 2 days ago
Please, sir, I want some more?
2 weeks 3 days ago
wrap
2 weeks 3 days ago
You always need primitives
2 weeks 3 days ago
You can still have this sort
2 weeks 3 days ago
Primitives
2 weeks 4 days ago
Why can't you delete posts?
2 weeks 4 days ago