Issue #2 new

Makefile

berkgaut
created an issue

Чтобы генерировать html, собирать что должно собираться и проч

Comments (3)

  1. ppavel repo owner

    Генерация html выглядит так:

    agda -i ~/tmp/Agda-lib/src/ -i . --html Main.agda

    где ~/tmp/Agda-lib/src/ - путь к стандартной библиотеки. Работа с агдой интерактивная. Нужны ссылки на установку агды? готов на wiki накидать.

  2. Log in to comment