The instructions for installing the Formality Language no longer work. The moonad/formality repository now points to https://github.com/HigherOrderCO/Kind, which looks like it is a completely new language called Kind that has no Formality core library code in it (which I'm assuming was present in the original repository). Therefore, it is no longer possible to make a docker image for this language. Since this language only has a "Hello World" sample, I think it is safe to delete.
rzuckerm
commented
9 months ago
The instructions for installing the Formality Language no longer work. The moonad/formality repository now points to https://github.com/HigherOrderCO/Kind, which looks like it is a completely new language called Kind that has no Formality core library code in it (which I'm assuming was present in the original repository). Therefore, it is no longer possible to make a docker image for this language. Since this language only has a "Hello World" sample, I think it is safe to delete.