snu-sf-class/pl2015spring

Assignment 03 Status

Opened this issue · 12 comments

jeehoonkang commented

Hi all,

  • Assignment 03 is issued.
  • Please read Homework.md to know how to fetch homework and submit your answer.
    • You have to run ./fetch-homework.sh to get assignment 03.
    • Do your homework by editing sf/Assignment03.v.
    • Make sure make works without errors.
    • Commit and push to your GitHub repository.
    • Make sure https://github.com/$YOURID/pl2015 contains the change you made.
  • Stay tuned for README.md and this issue on the assignment.

Sincerely,
Jeehoon

201313381lmk commented

Question 1 instruction says "Complete the definitions of [nonzeros], [oddmembers] and [countoddmembers] below," but there's no [oddmembers] or [countoddmembers] below. Should I also implement [oddmembers] and [countoddmembers]?

wonheejo commented

i have a problem with my copied where when i try compiling induction.v coqide just turns off all the time....or basic.v it says /bin/sh:coqc is not found, also where poly.v doesn't compile beyond Require Export lists (Error: Cannot find library list in load path)..can i go visit you tar?

wonheejo commented

sorry! i meant tomorrow?

jeehoonkang commented

@wonheejo Please come to 301-554-1 today, 14:00-16:00 or 17:30-21:00.

Thanks.

jeehoonkang commented

Submissions are collected.

jeehoonkang commented

Please note that for assignments 01 and 02, I tried my best to analyze your submissions and give partial credits as much as possible. However, from assignment 03 and on, I will be (slightly) harsh. For example, if your submission is not compiled with make, I will give you zero points for the whole assignment.

jeehoonkang commented

Delay submissions are collected.

woong8556 commented

I really want to know what went wrong, since my assignment 04 also got weird.. How can I contact you about this?

egejjespersen commented

I've written you a personal email on "jeehoon.kang@sf.snu.ac.kr". Don't know how else to get in contact with you.

jeehoonkang commented

@woong8556 @egejjespersen Sorry for late response. Contact me via: pl2015@sf.snu.ac.kr

I know some of you already sent me emails. I will respond quickly.

Jeehoon