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

A variable with the prefix `import` causes a crash due to import scanning #2927

Closed janmasrovira closed 3 months ago

janmasrovira commented 3 months ago

E.g.

module main;

axiom important : Type;