1열
1답변
내가 AGDA의 특정 생성자에 대해 이야기하려면 어떻게
2열
2답변
2열
1답변
1열
1답변
Agda의 하스켈 (Haskell) 타입 안경이 왜 'Raw'로 시작 되는가? AGDA 표준 라이브러리에서
0열
1답변
`replace`를 통해 이러한 commutativity의 증명을 완성하는 방법은 무엇입니까?
2열
3답변
Agda의`Vec`에 안전한`length` 함수를 쓰는 방법은 무엇입니까?
-1열
1답변
Agda에서 레코드/데이터 형식 안에 함수를 저장하려면 어떻게해야합니까?
2열
1답변
1열
1답변
Agda의 유형 구분에서 별칭을 정의하는 방법은 무엇입니까?
2열
1답변