Я новичок в Idris (1.3.2), Atom и новичок в Linux (Kubuntu), на котором я успешно его установил.
Я сейчас пытаюсь следовать учебнику в
http://docs.idris-lang.org/en/latest/reference/packages.html#ref -sect-packages
и, таким образом, реализовать интерфейс Draw, описанный в разделе «Составление конечных автоматов». Теперь мне нужно реализовать «Binding to C» и установить пакет sdl. Я не понимаю, как это сделать.
Я скачал файлы:
sr c, test, Makefile, README.md, sdl.ipkg
из https://github.com/edwinb/SDL-idris
У меня вопрос, в какой каталог я должен поместить эти файлы, и какие пошаговые действия я должен предпринять, чтобы завершить привязки и установить пакет?