https://github.com/damhiya/zebra-puzzle/blob/master/zebra-puzzle.agda
Agda 첨써보는거라 코드 좀 개판임. 아마 효율적으로 하면 훨씬 짧게 짤 수 있을듯
해의 존재성은 귀찮아서 안보였고 그냥 해가 존재하면 "4번집에 물고기 기르는 독일인이 산다" 증명함
[제출] Agda 아인슈타인 퍼즐 제출
다믜(damhiya)
2021-01-13 19:22
추천 9
댓글 6
다른 게시글
-
깃붕이 키보드샀다.. [4][%] ஐ(bemanisokr) | 21.01.13추천 2
-
괄호 추론 [4][%] 익명(121.150) | 21.01.13추천 0
-
살짝 훑어봤는데 힙스터들 천지네여 [1][%] 익명(117.111) | 21.01.13추천 1
-
kime 입력기 실사용 하면서 버그 잡고있음 [2][%] Riey(rerereq) | 21.01.13추천 1
-
어쩌면 수식 표현에 괄호를 써야 한다는 건 고정관념이 아닐까? [2][%] Coma(bmh4080) | 21.01.13추천 1
-
로딩중인 so파일 cp로 넣으면 프로그램들 터지는데 [2][질문] Riey(rerereq) | 21.01.13추천 0
-
하스켈에 또 통수맞음 [2][%] 다믜(damhiya) | 21.01.13추천 6
-
어쩌면 괄호를 닫아야 한다는 건 고정관념이 아닐까? [7][%] 익명(121.181) | 21.01.13추천 3
-
Go generic proposal 올라옴 [10][정보] ㄱㄹ(msh01170) | 21.01.13추천 0
-
C++ 변수도 후행 타입 허용해주면 좋을 것같음 [8][%] 익명(115.21) | 21.01.13추천 2
덕분에 이해하기엔 좋은 코드인듯. 짧아지면 가독성 무서워짐...
음 그것도 있는데 이게 Agda를 처음 쓰는거다 보니까
위에서 아래로 내려가면서 코드 스타일이 점점 바뀜 ㅋㅋㅋ
모르겠는데 개추함