flynnWhelehan/thirdYear

Third year @ RHUL (out of 5) Mostly lab and exercise work from third year. All modules for the year listed in topics. See https://github.com/flynnWhelehan/softwareVerification repo (currently private) for the second term module which is a two-person project.

Language: Haskell - Size: 62.8 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0