Type Driven Development with Idris (2016.12.16) - codeport/scala GitHub Wiki

"Type Driven Development with Idris" 문제

체크인 (기분/근황/기대하는 바)

  • 기영님
    • 정신이 없다. 자리가 넓어서 좋다.
    • 컴퓨터 조립을 하는데 부품이 불량이어서 고생했다.
    • 오늘 스터디를 재밌게 이해하고 갔으면 좋겠다.
  • Wayne
    • 모임에 나와서 좋습니다.
    • 연말답게 정신없이 보내고 있습니다.
    • 잘 이해하고 갔으면 좋겠습니다.

문제풀이

회고(좋았던 점/아쉬웠던 점/다음주까지 할 일)

  • 성큼님

    • 다시 약을 조금 복용한것 같아서 좋습니다.
    • 중간에 환경이 좋지 않았다.
    • 연습문제를 풀어보겠다.
  • 기영님

    • 앞의 장을 잘 보고 단축키를 잘 보면 쉽게 갈 수 있을 것 같다.
    • 중간에 단축키가 안되던 점이 아쉬웠다.
    • 컴퓨터 세팅을 마쳐야겠다.
  • Wayne

    • Idris의 장점을 좀 더 볼 수 있어서 좋았습니다.
    • 중간에 좀 정신없었던 부분이 아쉽습니다.
    • 참석을 잘 할 수 있었으면 좋겠습니다.

나머지 공부