GitHub repository: FoxySeta/unibo-93283-logics-for-informatic
Primary language: Haskell
Description: Exercises for the University of Bologna Logic for Computer Science course (a.y. 2020-21).