ku-fpg hermit-shell issues

ku-fpg / hermit-shell

HERMIT with GHCi shell

BSD 3-Clause "New" or "Revised" License

2 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Build issues on GHC 8

#42 roboguy13 opened 7 years ago
0
Remote GHCi

#41 xich opened 8 years ago
3
Needs to be updated to account for remote-json's use of natural-transformation

#40 ecaustin opened 8 years ago
11
Compilation Regression with GHC 7.10.3

#39 ecaustin closed 8 years ago
26
Travis Rebuild on HERMIT changes

#38 andygill opened 8 years ago
4
Revisit sendCrumb and make it composable

#37 andygill opened 8 years ago
4
resume

#36 andygill closed 8 years ago
2
Should reflexivity look through foralls?

#35 andygill closed 8 years ago
5
hermit-shell doesn't build with the latest version of HERMIT

#34 roboguy13 closed 8 years ago
2
Global shell settings

#33 roboguy13 closed 9 years ago
2
Highlight difference between steps

#32 roboguy13 opened 9 years ago
2
Cheat Sheet

#31 andygill opened 9 years ago
1
Logging command

#30 roboguy13 opened 9 years ago
1
Quiet mode

#29 roboguy13 opened 9 years ago
15
Consolidate duplicate commands, establish HERMIT.API.Prelude

#28 RyanGlScott closed 6 years ago
4
Remove all calls to eval in preparation for the eventual removal of the eval function

#27 roboguy13 opened 9 years ago
2
Types of shell commands

#26 andygill opened 9 years ago
0
loadLemmaLibrary and loadLemmaLibraryWith not working

#25 roboguy13 closed 9 years ago
7
Clarify Structural Distinctions Between Effect Classes

#24 ecaustin closed 9 years ago
1
Better error messages

#23 roboguy13 opened 9 years ago
15
Run QueryFun

#22 xich closed 9 years ago
1
Investigate Improving `External` class

#21 ecaustin closed 9 years ago
7
`stopScript` not working

#20 roboguy13 closed 9 years ago
2
Add diff checking to tests

#19 roboguy13 closed 9 years ago
1
`navigate` and `command-line`

#18 roboguy13 closed 9 years ago
3
Automated tests succeed if there is a GHC error (type error or name not in scope)

#17 roboguy13 closed 9 years ago
3
Implicit PrettyPrinter and CommandLineState arguments

#16 roboguy13 closed 9 years ago
7
Proof mode not fully working

#15 roboguy13 closed 9 years ago
2
Issues with wwSplit and wwSplitUnsafe

#14 roboguy13 closed 9 years ago
5
Basic testing framework

#13 RyanGlScott closed 9 years ago
1
Compound Rewrites

#12 roboguy13 closed 9 years ago
32
Do we need `OverloadedStrings`?

#11 ecaustin closed 9 years ago
3
Documentation in the new `External` class

#10 ecaustin closed 9 years ago
2
resume fails badly

#9 andygill closed 9 years ago
7
Better Ctrl+C handling

#8 RyanGlScott closed 9 years ago
1
Port tests

#7 andygill opened 9 years ago
5
Add deriving instance for KURE and HERMIT

#6 andygill closed 9 years ago
1
Add all ~350 commands to hermit-shell

#5 andygill opened 9 years ago
1
Interactive post-hooks

#4 andygill opened 9 years ago
0
goto in our DSL

#3 andygill opened 9 years ago
0
Handling Queries

#2 andygill opened 9 years ago
4
is rhsOf an effect or a query?

#1 andygill opened 9 years ago
2