@Caaabooomm you can use GitHub issues to ask questions or make note of something you wish to work on. Alternatively, you can contact a maintainer in our Discord (the people with the green roles).
As for translating 2HOL, we'd be happy to support this, preferably as a separate repository to this so that we can reduce clutter.
There have been several past attempts at translating OHOL and projects that exist surrounding that. How do you plan to translate 2HOL, and how do you intend to share this with other users?
@Caaabooomm you can use GitHub issues to ask questions or make note of something you wish to work on. Alternatively, you can contact a maintainer in our Discord (the people with the green roles).
As for translating 2HOL, we'd be happy to support this, preferably as a separate repository to this so that we can reduce clutter.
There have been several past attempts at translating OHOL and projects that exist surrounding that. How do you plan to translate 2HOL, and how do you intend to share this with other users?
The main OHOL project I believe was this one.