FPL, the Formal Proving Language, is a language to formulate mathematical definitions, theorems, and proofs independently of local natural languages.
This extension enables you to make use of advantages of an IDE like VS Code while writing code in FPL.
This is a Proof of Concept of a private research project to develop such a language. For more information or code examples, see https://github.com/bookofproofs/fpl.net. In this repository, you will also find the source code for this extension.
Syntax highlighting for .fpl files.
(Syntax-driven) Error diagnostics service (experimental)
(Syntax-driven) Code-completion service with various code snippets
FPL support for user-defined prefix, postfix, and infix notation for mathematical operators in expressions.
VSCode version ">1.84.2"
Newest FPL parser including many mathematical symbols further simplifying the syntax
Syntax-driven auto-completion service
Syntax error diagnostics (experimental)
Improved syntax error messages from the FPL parser
Bugfix in syntax highlighting of generics in FPL
Emitting error diagnostics directly from FplParser
Support for standard color themes
Update FPL Language Server to reflect FPL grammar 2.4.2
Bugfix syntax highlighting for comments
1.2.2, 1.2.3, 1.2.4, 1.2.5
Correcting logging and installation issues
Hooking up Fpl Parser to VSCode diagnostics
Shipping dotnet runtime dependency for linux, windows, and macOS x64 systems via download on demand
Shipping initial diagnostics for windows / 64 runtime
Fake diagnostics only! You can test them by opening and editing a fake .fpl file containing some nuspec code
The Language Server will show diagnostics for if your nuspec contains the text 'REPLACE'
Proof of Concept of a running Language Server thanks to Gary Ewan Park, Martin Björkström, and Bing AI-powered copilot :-)