![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 372.s16-all-materials.pdf | 09-Dec-2017 12:46 | 6.5M | |
| CollbergProlog.pdf | 26-Mar-2016 13:38 | 1.8M | |
| a1.pdf | 09-Dec-2017 11:43 | 729K | |
| a2.pdf | 18-Jan-2016 22:36 | 116K | |
| a2/ | 18-Jan-2016 13:44 | - | |
| a3.pdf | 28-Jan-2016 00:00 | 209K | |
| a3/ | 04-Sep-2016 13:25 | - | |
| a4.pdf | 09-Feb-2016 22:45 | 164K | |
| a4/ | 12-Aug-2017 15:32 | - | |
| a5.pdf | 23-Feb-2016 23:01 | 170K | |
| a5/ | 03-Mar-2018 01:41 | - | |
| a6-as-printed.pdf | 11-Mar-2016 20:11 | 156K | |
| a6.pdf | 11-Mar-2016 20:15 | 155K | |
| a7.pdf | 23-Mar-2016 22:29 | 227K | |
| a7/ | 15-Apr-2016 10:46 | - | |
| a8.pdf | 14-Apr-2016 08:42 | 166K | |
| a8/ | 18-Apr-2016 21:52 | - | |
| a9.pdf | 14-Apr-2016 00:05 | 167K | |
| a9/ | 16-Apr-2016 13:00 | - | |
| a10-as-printed.pdf | 23-Apr-2016 18:34 | 168K | |
| a10.pdf | 23-Apr-2016 18:35 | 168K | |
| a10/ | 09-May-2016 00:19 | - | |
| all-materials-cover.pdf | 09-Dec-2017 12:44 | 70K | |
| av.pdf | 17-Mar-2016 21:01 | 76K | |
| av/ | 17-Mar-2016 17:25 | - | |
| bin/ | 05-Apr-2016 23:26 | - | |
| dropSyncTutorial.pdf | 13-Jan-2016 01:45 | 1.6M | |
| ex-s16/ | 19-Jan-2016 12:12 | - | |
| exam-archive/ | 09-Dec-2017 11:21 | - | |
| exam1.pdf | 11-May-2016 00:23 | 118K | |
| exam1sol.pdf | 11-May-2016 00:23 | 143K | |
| exam2.pdf | 11-May-2016 00:22 | 147K | |
| exam2sol.pdf | 17-May-2016 15:14 | 186K | |
| gen-all-materials | 09-Dec-2017 12:17 | 545 | |
| haskell.pdf | 07-Feb-2016 23:33 | 2.0M | |
| haskell.pptx | 07-Feb-2016 23:34 | 1.6M | |
| icon.pdf | 03-May-2016 08:22 | 206K | |
| intro.pdf | 12-Jan-2016 18:16 | 266K | |
| lectures.notes | 21-Apr-2017 08:37 | 2.4K | |
| ls.txt | 17-May-2016 14:18 | 3.6K | |
| morefacts-s15.txt | 16-Feb-2016 22:37 | 38K | |
| morefacts.txt | 16-Feb-2016 22:38 | 30K | |
| prolog.pdf | 22-Apr-2016 11:00 | 1.5M | |
| prolog.pptx | 18-Apr-2016 23:09 | 1.2M | |
| prolog/ | 21-Apr-2016 09:16 | - | |
| q1.pdf | 15-Jan-2016 12:59 | 48K | |
| q2.pdf | 21-Jan-2016 16:23 | 90K | |
| q3.pdf | 03-Feb-2016 09:26 | 90K | |
| q4.pdf | 09-Feb-2016 16:46 | 92K | |
| q5.pdf | 20-Feb-2016 16:30 | 82K | |
| q6.pdf | 26-Feb-2016 12:26 | 89K | |
| q7.pdf | 09-Mar-2016 09:21 | 87K | |
| q8.pdf | 22-Mar-2016 15:32 | 85K | |
| q9.pdf | 31-Mar-2016 09:18 | 85K | |
| q10.pdf | 07-Apr-2016 00:40 | 75K | |
| q11.pdf | 17-Apr-2016 14:24 | 98K | |
| q12.pdf | 19-Apr-2016 19:34 | 67K | |
| q13.pdf | 26-Apr-2016 15:35 | 93K | |
| q14.pdf | 01-May-2016 12:27 | 93K | |
| ruby.pdf | 10-Apr-2016 00:13 | 1.1M | |
| ruby.pptx | 20-Mar-2016 22:56 | 1.3M | |
| ruby/ | 28-Mar-2016 23:42 | - | |
| styles.css | 18-Jan-2016 18:10 | 564 | |
| syllabus.pdf | 12-Jan-2016 17:36 | 158K | |
| tester.pdf | 29-Jan-2016 16:58 | 118K | |
| unixstuff.pdf | 09-Dec-2017 11:54 | 104K | |
| web2 | 30-Jan-2016 22:13 | 2.4M | |