Issues
- 0
- 1
Remove all of the "Add Rec Loadpath ...."
#2 opened by gmalecha - 0
- 0
Which folder should we run Coq from?
#6 opened by jesper-bengtson - 0
Parsing madness
#5 opened by jesper-bengtson - 1
Building Charge under a library name
#1 opened by gmalecha - 4
Isolate class definitions?
#4 opened by gmalecha - 1
Fix 'Pure' and the pure instances
#3 opened by gmalecha