#functional

Ridge

ridge-lang

Ridge language support for VS Code: syntax and semantic highlighting, diagnostics, hover, go-to-definition, go-to-type-definition, find-references, rename, signature help, formatting, and completion from ridge-lsp.

Miranda Pattern Matching Helper

eugeherrmann

Helps detect simple Miranda pattern matching issues in VS Code.

Pyfun

pyfun

Pyfun language support: syntax highlighting plus diagnostics, hover, navigation, and more, backed by `pyfun lsp`.

Miranda Formatter

pkoziolas

Conservative formatter for the Miranda functional language: aligns guards, normalizes spaces, and cleans up style while respecting the offside rule.

Miranda runner

SebastianBandera

Miranda Runner aims to provide an easy way to run Miranda code independently from the host machine configuration by using Docker.

Workman

goodpuppies

Language support for Workman

Contextual explanations, pattern detection, and visual aids for the Miranda programming language in VS Code.

Mercury Language Plugin

pomid0rko0

Full language support for the Mercury logic/functional programming language: syntax highlighting, snippets, build tasks, and a language server with live mmc diagnostics, outline, definitions, hover and completion.

Syntax highlighting and ESLint-style code quality linting for the Miranda functional programming language

Conservative formatter for the Miranda functional language (.m files)

Hover provider that shows inline documentation (type signature + description) for the functions of the Miranda standard environment in .m files.

Advanced ESLint-style linter, quick fixes, formatting and syntax highlighting for the Miranda programming language