Я установил agda-writer, так как agda-режим для emacs не будет работать для меня (не выполняет символы UTF8, не выполняет подсветку синтаксиса ... ??)
Установка agda-writer была очень простой, но я не могу найти какую-либо документацию и не могу выполнить самые основные задачи:
- как вы проводите проверку типов? (кажется, самая фундаментальная вещь, которую вы бы хотели, чтобы agda сделала для вас ...)
- как включить подсветку синтаксиса?
- как настроить стандартные библиотеки для работы? (другими словами, каков путь к стандартной библиотеке в комплекте?)
По сути, единственное, что я могу сделать, - это попробовать и "скомпилировать"; конечно, это терпит неудачу, потому что я не установил haskell, но по крайней мере это вызывает подсветку синтаксиса и проверку типов (????)
Я в Мохаве.
Любая помощь приветствуется.
спасибо,
Pierre