Windows Subsystem for Linux에 Agda를 설치하는 방법

Windows 환경에서 Agda를 사용하고 싶으며 Agda 버전을 신경 쓰지 않는 사람 있다 . 다음은 Windows 환경에 특정 버전의 Agda를 설치하여 제대로 작동하지 않는 사용자를 대상으로 합니다. WSL2의 Ubuntu 20.04LTE를 사용합니다. 설치 를 전제로 합니다. 다음 명령을 실행하여 경로가 통과되었는지 확인하십시오. 신중을 기하기 위해 포장 일람표를 갱신하다. 필요한 의...

agdatech