Commit Graph

1 Commits (e0885a4f482c063862e38db7de4319f3786c7a28)

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