Agda on NixOS
NixOS上でAgdaをセットアップする際のトラブルシューティングに関するメモ。Agdaのインストールや依存関係の解決、環境設定に関する問題とその解決策について解説しています。
関連記事
Python virtual environments allow developers to isolate project dependencies. This guide explains how to create and use virtual environments to manage Python packages separately for different projects.