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

Ch.9.1

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

  • 생략

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

  • 상호
    • idris를 알게 됐다
    • 딥러닝 4장을 못 끝냈다
    • 4장 코딩을 좀 해보고 싶다
  • 성큼
    • idris 약을 팔았다
    • 딥러닝 코딩을 전혀 못했다
    • 밀린 진도 복습
  • 기영
    • 참석. idris 리마인드.
    • 감기 때문에 컨디션 저하
    • 푹 쉬기