"Type Driven Development with Idris" 문제

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

• 기영
  • 포만감에 졸립구요, 두통이 오래가는 것 같습니다.
  • 별 일 없다
  • 오늘 스터디 재밌게 하고 갔으면 좋겠다.
• Wayne
  • 정신없다
  • Haskell 스터디 재밌게 듣고왔습니다.
  • 오늘 언어 잘 배우고 갔으면 좋겠습니다.
• Ethan
  • 점심을 맛있게 먹어서 좋다.
  • 처음와서 공부 열심히 했으면 좋겠다.
• Ogre
  • 처음와서 어리둥절 하다.
  • 계약서를 못찾아서 혼란 중
  • 잘 이해하고 갔으면 좋겠다.

문제풀이

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

• 성큼
  • Idris를 제대로 보게 되서 좋았다.
  • 코딩을 거의 안해서 아쉽다.
  • 개발 환경을 세팅해볼예정
• Ogre
  • 생각보다 더 신기했다.
  • 책이 좀 난이도가 있는 것 같다.
  • 책을 산다.
• Ethan
  • 신기했다.
  • 어려웠다.
  • 코세라 1주차를 듣겠다.
• 기영
  • Idris를 볼 수 있어서 좋았다.
  • 어려웠다.
  • 다음주 참석할 수 있도록
• Wayne
  • 동적으로 타입이 결정되는 신기한 언어를 봐서 좋았다.
  • 뭔가 알고싶을때쯤 끝나서 아쉽웠다.
  • 참석할 수 있도록, 튜토리얼

나머지 공부