I believe he was talking about Pallene, which is being currently developed in LabLua Paper: http://www.inf.puc-rio.br/~roberto/docs/pallene-sblp.pdf Git Repo: https://github.com/pallene-lang/pallene
I believe he was talking about Pallene, which is being currently developed in LabLua Paper: http://www.inf.puc-rio.br/~roberto/docs/pallene-sblp.pdf Git Repo: https://github.com/pallene-lang/pallene