https://github.com/damhiya/zebra-puzzle/blob/master/zebra-puzzle.agda
Agda 첨써보는거라 코드 좀 개판임. 아마 효율적으로 하면 훨씬 짧게 짤 수 있을듯
해의 존재성은 귀찮아서 안보였고 그냥 해가 존재하면 "4번집에 물고기 기르는 독일인이 산다" 증명함
[제출] Agda 아인슈타인 퍼즐 제출
다믜(damhiya)
2021-01-13 19:22
추천 9
댓글 6
다른 개념글
-
하스켈에 또 통수맞음 [2][%] 다믜(damhiya) | 21.01.13추천 6
-
클로킹만들었다 [3][%] 익명(221.166) | 21.01.12추천 10
-
냉혹한 그 언어 해설편 [3][%] 코딩조무사(circir6174) | 21.01.07추천 12
-
*const 를 *mut로 변경할수있는게 신기함 [13][%] 딱국(180.64) | 21.01.06추천 5
-
개인적으로 자주 쓰는 vi 키맵 [24][%] 익명(220.86) | 21.01.05추천 10
-
라이언달의 심리를 감히 파악해보자면 [21][%] 딱국(175.223) | 21.01.02추천 8
-
deno할때 개인적으로 좋았던 부분이 [8][%] 딱국(175.223) | 21.01.02추천 6
-
러스트 이거 씹사기언어 아닙니까 [10][%] 딱국(175.223) | 20.12.29추천 6
-
프린이 크리스마스 문제 풀어옴 [7][%] 익명(223.38) | 20.12.29추천 6
-
Lifetime을 다르게 설정할 경우에 실제 코드에 영향이 있을까요? [13][%] 딱국(180.64) | 20.12.29추천 5
덕분에 이해하기엔 좋은 코드인듯. 짧아지면 가독성 무서워짐...
음 그것도 있는데 이게 Agda를 처음 쓰는거다 보니까
위에서 아래로 내려가면서 코드 스타일이 점점 바뀜 ㅋㅋㅋ
모르겠는데 개추함