6 ms·
For folks that want to engage / learn more, there's been an annual miniKanren workshop and also a monthly miniKanren hangout online. Interested folk should tota
by jasonhemann 2y ago
For folks that want to engage / learn more, there's been an annual miniKanren workshop and also a monthly miniKanren hangout online. Interested folk should totally come to either both!
- lambertsimnel 2y agoThe website describes the online hangouts as weekly and doesn't list any future dates: http://minikanren.org/#hangouts http://minikanren.org/#hangouts Is there more information somewhere?
- will_byrd 2y agoI haven't held any hangouts online for years, although I'd consider restarting them if there is interest. We do have a monthly call of miniKanren/OCanren researchers from around the world, where someone presents on their research. If you are interested, please send me an email!