Type Driven Development with Idris (2017.01.13)

Ch.6.3

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

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

문제풀이

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

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

나머지 공부