issues
search
omega12345
/
RefactorAgda
Master's thesis project: A refactoring engine for Agda. Very much under construction.
BSD 3-Clause "New" or "Revised" License
6
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
[ Re #2 ] Uninitialized fields
#4
andreasabel
closed
5 years ago
0
How to invoke refactorings in Atom?
#3
andreasabel
opened
5 years ago
1
Build failure: field not initialized: range
#2
andreasabel
opened
5 years ago
1
Build failure: == not in scope
#1
andreasabel
opened
5 years ago
0