forsyde / forsyde-deep

Other
1 stars 2 forks source link

[CLOSED] Porting ghc7101 #27

Closed HWoidt closed 8 years ago

HWoidt commented 8 years ago

Issue by HWoidt Saturday Jan 23, 2016 at 07:29 GMT Originally opened as https://gits-15.sys.kth.se/ingo/forsyde-deep/pull/27


ForSyDe.Deep runs on GHC7.10 in principle. There is still one important issue left, which should be revisited before merge: #23


HWoidt included the following code: https://gits-15.sys.kth.se/ingo/forsyde-deep/pull/27/commits