Add trunc to struct - Githubissues

pufferffish / agda-symmetries

MIT License

5 stars 1 forks source link

Open pufferffish opened 10 months ago

pufferffish commented 10 months ago

Close #33

vikraman commented 10 months ago

what about this, is it to be merged or abandoned?

pufferffish commented 10 months ago

what about this, is it to be merged or abandoned?

On hold for now I guess, this seems to be a big time sink so I'll just work on it in the background when I'm free