Skip to content
| Marketplace
Sign in
Visual Studio Code>Programming Languages>MinifumoNew to Visual Studio Code? Get it now.
Minifumo

Minifumo

peterzeller

|
2 installs
| (0) | Free
Code extension for the Minifumo language, a language for playing with dependent types and proofs.
Installation
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter.
Copied to clipboard
More Info

Minifumo VS Code Extension

This extension provides syntax highlighting and compiler diagnostics for .minifumo files.

Features

  • Syntax highlighting for Minifumo.
  • LSP-based diagnostics (Problems panel + editor squiggles).
  • Works in desktop VS Code and browser-based VS Code clients.

How diagnostics work

The extension runs a language server in both environments:

  • Desktop: Node language server.
  • Browser: Web Worker language server.

Both server variants use the same Scala.js-compiled Minifumo compiler bridge and publish diagnostics through the Language Server Protocol.

Development

npm install
npm run compile
  • Contact us
  • Jobs
  • Privacy
  • Manage cookies
  • Terms of use
  • Trademarks
© 2026 Microsoft