ParentFull threadflubert·Maybe also add Idris?https://github.com/chrrasmussen/Idris2-ErlangView on HN