juvix
juvix copied to clipboard
Remove code related to VampIR
It was communicated by @cwgoes that we should remove the current VampIR support from the codebase.
- Related to https://github.com/anoma/juvix/issues/2807