Giters
RedPRL
/
sml-telescopes
an abstract data type for telescopes
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
1
Watchers:
14
Issues:
7
Forks:
1
RedPRL/sml-telescopes Issues
Redesign in light of real usage in RedPRL
Closed
2 years ago
Efficiency of telescopes
Closed
7 years ago
Comments count
9
Add equivalence modulo names
Closed
8 years ago
Remove "prime", "fresh" stuff
Closed
8 years ago
modifyAfter is wrong
Closed
8 years ago
Reorganize interface to be more "standard"
Closed
8 years ago
add append
Closed
9 years ago