issues
search
pufferffish
/
agda-symmetries
MIT License
5
stars
1
forks
source link
Refactor definition of Free and some more experiments
#8
Closed
vikraman
closed
10 months ago
vikraman
commented
10 months ago
Thinking some more about Free.
Thinking some more about Free.