refs/heads/congruence-closure-1
1c 4d abap abnf accesslog actionscript ada alan angelscript apache apex applescript arcade arduino armasm asciidoc aspectj autohotkey autoit avrasm awk axapta ballerina bash basic blade bnf bqn brainfuck c c3 cairo cal candid capnproto cedar ceylon chaos chapel clean clojure clojure-repl cmake cobol codeowners coffeescript coq cos cpc cpp crmsh crystal csharp cshtml-razor csp css cypher d dafny dart delphi diff django dns dockerfile dos dsconfig dts dust dylan ebnf elixir elm erb erlang erlang-repl eta excel extempore fift fix flix fortran fsharp func gams gauss gcode gdscript gf gherkin glsl gml go golo gradle graphql groovy gsql haml handlebars haskell haxe hlsl hsp http hy iecst inform7 ini irpf90 isbl java javascript jboss-cli jolie json julia julia-repl kotlin lang lasso latex ldif leaf lean less lisp livecodeserver livescript llvm lookml lox lsl lua luau macaulay2 makefile markdown mathematica matlab maxima mel mercury mint mipsasm mirc mirth mizar mlir modelica mojolicious monkey moonscript motoko n1ql nestedtext never nginx nim nix node-repl nsis oak objectivec ocaml ocl octave openscad oxygene oz papyrus parser3 perl pf pgsql phix php php-template plaintext pony powershell processing profile prolog properties protobuf puppet purebasic python python-repl q qml qsharp r reasonml rebol rescript rib roboconf robot robots-txt routeros rpm-specfile rsl ruby ruleslanguage rust sas scala scheme scilab sclang scss sdml sfz shell smali smalltalk sml solidity sqf sql stan stata step21 stylus subunit svelte swift taggerscript tap tcl terraform thrift tlb tp tsql twig typescript unison vala vba vbnet vbscript vbscript-html verilog vhdl vim wasm wgsl wren x86asm xl xml xquery xsharp yaml zenscript zephir zig 