alt
Hacker News
anthk
•
yesterday at 11:59 PM
•
0 replies
•
view on HN
Try Common Lisp and Coalton. Also, Common Lisp and that one math proof solver.
alt Hacker News