Исправление kookoo, (текущая версия) :
rustup update
Не, не так.
если в первый раз:
$ git clone https://github.com/idris-lang/Idris2.git
$ cd Idris2
$ make bootstrap SCHEME=chez && make install
потом только:
$ cd Idris2
$ git pull
$ make clean && make all && make install
Исходная версия kookoo, :
Не, не так.
если в первый раз:
$ git clone https://github.com/idris-lang/Idris2.git
$ cd Idris2
$ make bootstrap SCHEME=chez && make install
потом только:
$ cd Idris2
$ git pull
$ make clean && make all && make install