Hey, I’d like to request classic confinement for
Idris 2 is a successor to Idris 1, a dependently typed functional programming language. Idris 2 is currently in pre-alpha. A snap for Idris 2 would provide a hassle-free way for Idris users to stay up to date with the Idris 2 development.
Similar to existing snaps for language implementations (e.g.
idris2 needs classic confinement to be able to interact with arbitrary system libraries and tools.