Skip to content
Snippets Groups Projects
Commit 743eccd6 authored by Hassan Al-Awwadi's avatar Hassan Al-Awwadi
Browse files

Some feedback changes.

Not done yet but hadrian is being difficult and I need to read a paper on liquid haskell now, so pushing this and finalising tomorrow... hopefully.
parent ec7f9e89
No related branches found
No related tags found
1 merge request!11803Adds timeout command to ghci. Resolves #24040
Pipeline #89818 failed
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment