langbank / languages /

Isabelle ROOT

• detection recognise a file as this language
• comments strip comments without parsing
• facets know it hosts components or styles
• conventions find its tests and fixtures
• toolchain name a tool that handles it
• compiler build or run it
• analyser lint or format it
• ecosystem resolve its packages

id

isabelle-root

role

programming

filenames

ROOT

counted under

Isabelle — linguist groups this one's bytes there