search

jrclogic / SMCDEL

A symbolic model checker for Dynamic Epistemic Logic.
https://w4eg.de/malvin/illc/smcdelweb
GNU General Public License v2.0
39 stars 9 forks source link

use stack #2

Closed m4lvin closed 8 years ago

m4lvin commented 8 years ago

Provide stack.yaml and .cabal files and rename the modules appropriately.

m4lvin commented 8 years ago

Done since d11c9a817d6be0270feadeb82ef664c8bbdfa514