문서 보니까 GADT가 있다고 해서 하스켈처럼 싱글톤 어쩌고 하는 게 되지 않을까 하고 내심 기대했는데 자연수도 못만들더라
왜냐면 이 글을 재작성하고 있고 인터랙티브 부분이 복잡해서 타입 안정성은 웬만하면 챙기고 싶은데 타입스크립트도 안되고 ReScript도 안되고 굳이 Idris를 가져다 쓰는 건 오버킬같고...
If you have a fediverse account, you can reply to this note from your own instance. Search https://hackers.pub/ap/notes/0199f875-ad09-7106-b88b-18678ebb1162 on your instance and reply to it.
많은 우여곡절이 있었지만 어쨌든 해냈습니다. 내일 배포해야지
