issues
search
RedPRL
/
sml-telescopes
an abstract data type for telescopes
1
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
truncateFrom should remove elem with the specified label from the dict
#16
ecavallo
closed
6 years ago
0
share lib
#15
jonsterling
closed
7 years ago
0
Redesign in light of real usage in RedPRL
#14
favonia
closed
1 year ago
0
Use a proper deque to improve efficiency.
#13
favonia
closed
7 years ago
7
Efficiency of telescopes
#12
favonia
closed
7 years ago
9
Update cmlib.
#11
favonia
closed
7 years ago
0
Add new Duplicate exception
#10
wilcoxjay
closed
7 years ago
2
modifyAfter is wrong
#9
jonsterling
closed
8 years ago
0
Cleanup
#8
jonsterling
closed
8 years ago
0
Remove "prime", "fresh" stuff
#7
jonsterling
closed
8 years ago
0
Add equivalence modulo names
#6
jonsterling
closed
8 years ago
0
Reorganize interface to be more "standard"
#5
jonsterling
closed
8 years ago
0
Make cmlib a private dependency; add mlton support
#4
jonsterling
closed
8 years ago
0
o Added back fresh's signature in telescope.sig
#3
vrahli
closed
8 years ago
0
o Added folding functions.
#2
vrahli
closed
8 years ago
14
add append
#1
jonsterling
closed
9 years ago
0