B (Formal Method)

Extra Credit builds an outline of B (Formal Method)'s docs the first time your work uses it.

• ATS
• Augeas
• AutoHotkey
• AutoIt
• Awk
• B
• B4X
• Ballerina
• BAML
• BASIC
• Batchfile
• Beef