Closed edsko closed 10 years ago
@snoyberg @dcoutts @Mikolaj Added a workaround to the ide-backend-rts for this in 52564b81701849d2544e43336978151dc2a14a28 . RTS should now be at 0.1.3.
ide-backend-rts
@snoyberg @dcoutts @Mikolaj Added a workaround to the
ide-backend-rts
for this in 52564b81701849d2544e43336978151dc2a14a28 . RTS should now be at 0.1.3.