issues
search
anoma
/
geb
A Categorical View of Computation
https://anoma.github.io/geb/
GNU General Public License v3.0
28
stars
10
forks
source link
Update printer to the newer vampir spec
#44
Closed
mariari
closed
1 year ago
mariari
commented
1 year ago
As pointed out by @rokopt
As pointed out by @rokopt