Hacker News new | past | comments | ask | show | jobs | submit login

I think I recall LaBRI being fond of infinite trees for logic programming too. I like trees. I never saw the paper you linked so thanks a lot.



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: