Cotel/AVD

A repository for backing up and sharing AVD exercises

★ 6Forks 0HaskellGitHub ↗Compare
analisisautomaticavdhaskellquickchecktestinguniversity-courseupvverification

README

AVD

A repository for keeping the produced code for AVD laboratories.

Sessions

Running tests

If you want to build and execute the project tests you just need to install Haskell and Stack and execute the following command:

$ stack build --test

Contributors

Cotel

Issues