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

Ch.6.3

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

  • 상근
    • 폭설이 그쳐서 집에 갈 수 있어서 좋음
    • 지난 주 보다 덜 힘들다.
    • 천천히, 잘, 스터디 했으면.
  • 용준
    • 금요일이어서 기분 좋음
    • 장애로 야근 후 반차
    • 오늘도 재미있는 스터디 했으면
  • 기영
    • 많이 들뜨지 않아서 좋음
    • 윈도우 10에서 가상 드라이브 지원으로 편리하게 사용 중
    • 오늘 스터디 재미있게 했으면
  • Seoh
    • 일어난지 얼마 안되서 개운하다.
    • 내일도 일을 해야할 것 같다.
    • 챕터 하나 끝냈으면 좋겠다.

문제풀이

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

  • 상근
    • 오늘은 쫓기지 않고 했다
    • 진도를 많이 못나갔다. 4장 이야기가 나와서 가슴이 아픔
    • Idris Tutorial을 읽어 보겠다.
  • 용준
    • 실습이 많아서 좋았음
    • 코드를 다 이해를 못했다
    • 이번 주 내용 복습
  • 기영
    • 분량에 비해 코드량이 많음
    • 다 이해하지 못했다
    • 다음 주에도 참석
  • Seoh
    • 실습을 하면서 모르는 부분을 명확히 알게 되었다.
    • 모르는게 많아서 진도가 더디게 나감
    • 튜토리얼 보고 오기

나머지 공부