IDP-LabSessions

Type of comments

Overview of comments

cde.idp
- line 7: BUG / ontbreekt nog vanalles: letters mogen niet dezelfde waarde hebben, eerste letters mogen niet 0 zijn, en je som is niet juist.
circuit.idp
- line 95: FIXME / redundant, !x [Wire]: ObservedOn(x) => On(x).
- line 98: FIXME / redundant, !x [Wire]: ObservedOff(x) => ¬On(x).
circuitdiag.idp
- line 89: BUG / Je zegt helemaal niets over dat wanneer een Wire InputWireOn is deze ook effectief On moet zijn...
circuittest.idp
- line 1: BUG / OK buiten voorgaande opmerkingen, dus je zou moeten opgemerkt hebben dat dit niet werkt...
fibonnaci.idp
- line 13: BUG / Waarom???
- line 38: BUG
geslaagd.idp
- line 1: TODO / OK
grafe.idp
- line 35: BUG / dit is geen inductieve definitie. als je de uitvoer bekijkt, zal je zien dat de bereikbaar slechts gedefinieerd is top twee bogen ver.
koningin.idp
- line 37: FIXME / overbodig, maar OK
- line 44: FIXME / overbodig
- line 53: FIXME / overbodig
map.idp
- line 32: BUG / Deze klopt nog niet, zie feedback labo 1
sudoku.idp
- line 1: TODO / OK
voorouder.idp
- line 1: TODO / OK