search

anoma / juvix

A language for intent-centric and declarative decentralised applications
https://docs.juvix.org
GNU General Public License v3.0
457 stars 53 forks source link

Nockma mode #3163

Closed janmasrovira closed 1 week ago

janmasrovira commented 1 week ago

Support for emacs nockma-mode. The list of features is given in the link.

It adds the following commands:

  1. juvix dev nockma ide check. Parses a nockma file (used by flycheck only).
  2. juvix dev nockma ide highlight. Highlights a nockma file.
  3. juvix dev nockma ide rules. Shows all evaluation rules properly highlighted in emacs.