Commit Graph

1 Commits (7132a79b50516a70aa11b78e25fc4f99c25300f3)

Author SHA1 Message Date
Lennart Spitzner 7132a79b50 Add project-spec. prelude; Remove q-prelude dependency 2016-07-30 16:44:31 +02:00