Exercises for the University of Bologna Logic for Computer Science course (a.y. 2020-21).
What is the FoxySeta/unibo-93283-logica-per-l-informatica GitHub project? Description: "Exercises for the University of Bologna Logic for Computer Science course (a.y. 2020-21).". Written in Haskell. Explain what it does, its main use cases, key features, and who would benefit from using it.
Question is copied to clipboard — paste it after the AI opens.
Clone via HTTPS
Clone via SSH
Download ZIP
Download master.zipReport bugs or request features on the unibo-93283-logica-per-l-informatica issue tracker:
Open GitHub Issues