A purely functional programming language with first class types
A preview version of Idris 2. Idris 2 is a dependently typed programming language based
on "Quantitative Type Theory" which allows explicit annotation of erased types, and linear types.
WARNING: Please note that Idris 2 is still under development. For now, the goal of this snap package is to provide a hassle-free way for Idris users to stay up to date with the Idris 2 development by providing nightly snap builds.
Swap out openSUSE_Leap_15.2 for openSUSE_Leap_15.1, openSUSE_Leap_15.0, or openSUSE_Tumbleweed if you’re using a different version of openSUSE.
With the repository added, import its GPG key:
sudo zypper --gpg-auto-import-keys refresh
Finally, upgrade the package cache to include the new snappy repository:
sudo zypper dup --from snappy
Snap can now be installed with the following:
sudo zypper install snapd
You then need to either reboot, logout/login or source /etc/profile to have /snap/bin added to PATH.
Additionally, enable and start both the snapd and the snapd.apparmor services with the following commands: