GitHub · Where software is built

Labels Milestones New issue

Alias fixity not inherited when aliasing an operator from a different module

#3427

· lukaszcz opened

on Jun 7, 2025

·

Add a discoverable `juvix completions` command for shell completions

#3425

· janmasrovira opened

on Jun 4, 2025

Constructors are not displayed with the right fixity in Core and native executables

#3422

· lukaszcz opened

on May 30, 2025

·

Foreign Function Interface

#3418

· lukaszcz opened

on May 23, 2025

·

Support builtin `natToString` in the nockma backend

#3413

· janmasrovira opened

on May 20, 2025

Generate more understandable error messages for axiom use earlier in the pipeline

error-messaging

#3412

· lukaszcz opened

on May 15, 2025

·

Automation of AnomaLib indices

#3401

· janmasrovira opened

on Apr 25, 2025

The `--no-colors` option doesn't always work

#3382

· lukaszcz opened

on Apr 2, 2025

·

Clicking Stdlib.Prelude on the Juvix exercises in "Functional Programming with Juvix" goes to 404

#3374

· neocybereth opened

on Mar 24, 2025

·

REPL reloads all modules from all packages on every evaluation

#3372

· lukaszcz opened

on Mar 21, 2025

·

We evaluate Package.juvix three times

package-manager

#3363

· lukaszcz opened

on Mar 19, 2025

·

Running `juvix typecheck` outside of a juvix project should give a warning

error-messaging

#3354

· janmasrovira opened

on Mar 6, 2025