week2 workshop initial commit
wip tot ex5
ex 6
bonus exercise 8
fixed index issue
Merge remote-tracking branch 'origin/master' into individual/bartol

Conflicts:
	week2/Lab2.hs
contradiction, tautology + 1 test, 3 tests for entails
merged entails tests
added cnf

Signed-off-by: Bartol Karuza <me@bartolkaruza.com>
added test

Signed-off-by: Bartol Karuza <me@bartolkaruza.com>
fixed cnf

Signed-off-by: Bartol Karuza <me@bartolkaruza.com>
wip for week 4

Signed-off-by: Bartol Karuza <me@bartolkaruza.com>
till ex 5 WIP

Signed-off-by: Bartol Karuza <me@bartolkaruza.com>
Improved Ex5

Signed-off-by: Bartol Karuza <me@bartolkaruza.com>
removed unused function

Signed-off-by: Bartol Karuza <me@bartolkaruza.com>
added Ex 6

Signed-off-by: Bartol Karuza <me@bartolkaruza.com>
Ex7 minor work

Signed-off-by: Bartol Karuza <me@bartolkaruza.com>
Merge remote-tracking branch 'origin/master' into individual/bartol

Signed-off-by: Bartol Karuza <me@bartolkaruza.com>

Conflicts:
	week3/Week3-exercises.hs
	week4/SetOrd.hs
	week4/week4-exercises.hs
Merge remote-tracking branch 'origin/master' into individual/bartol
basic implementation of q1-q3

Signed-off-by: Bartol Karuza <me@bartolkaruza.com>