@noxowlSuyeong RHIE 오호 흥미롭네요. 혹시 'Pnv-증명언어 및 정형검증 커뮤니티' 라는 디스코드 서버를 알고 계실까요?
@bglbgl gwyng 잘 모릅니다... ㅋㅋㅋ 제 원래 필드 자체가 정형명세를 메인으로 하는 동네가 아니라서요. 순수 도파민 목적으로만 가끔 하는 정도입니다.
If you have a fediverse account, you can reply to this note from your own instance. Search https://hackers.pub/ap/notes/0195fbae-bee2-718c-a285-28615b2e40c8 on your instance and reply to it.
@noxowlSuyeong RHIE 아하 그렇군요. https://discord.gg/KuzFFerB 그래도 혹시 심심하시면 오셔서 공부도 같이하시고 하면 좋을거 같습니다.