@@ -934,6 +934,18 @@ indent = { tab-width = 2, unit = " " }
934name = "lean"
934name = "lean"
935source = { git = "https://github.com/Julian/tree-sitter-lean", rev = "d98426109258b266e1e92358c5f11716d2e8f638" }
935source = { git = "https://github.com/Julian/tree-sitter-lean", rev = "d98426109258b266e1e92358c5f11716d2e8f638" }
947+source = { git = "https://gitlab.com/TheZoq2/tree-sitter-lpf", rev = "db7372e60c722ca7f12ab359e57e6bf7611ab126" }
937[[language]]
949[[language]]
938name = "julia"
950name = "julia"
939scope = "source.julia"
951scope = "source.julia"