langbank / languages /

Isabelle

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
role: programming
extensions: .thy
counts: Isabelle ROOT
line comment: --
block comment: (* … *), \\<open> … \\<close>, {* … *}, ‹ … ›