|
.vscode
|
Import quickcheck handout
|
2019-10-30 15:34:26 +01:00 |
|
project
|
Import quickcheck handout
|
2019-10-30 15:34:26 +01:00 |
|
src
|
Import quickcheck handout
|
2019-10-30 15:34:26 +01:00 |
|
.gitignore
|
Add missing gitignore file
|
2019-10-30 15:35:02 +01:00 |
|
.gitlab-ci.yml
|
Add missing Gitlab CI configuration
|
2019-10-30 15:35:47 +01:00 |
|
build.sbt
|
Import quickcheck handout
|
2019-10-30 15:34:26 +01:00 |
|
grading-tests.jar
|
Import quickcheck handout
|
2019-10-30 15:34:26 +01:00 |
|
student.sbt
|
Import quickcheck handout
|
2019-10-30 15:34:26 +01:00 |
