Finn Hackett comments

Repositories
Issues
Comments

Results 12 comments of


                                            Finn Hackett

Representing time(r) in PlusCal/PGo

We have supported something like this for some time - see current `systems/` folder.

Initializing a var with a value annotated with its own generic type does not typecheck

Thank you for the response. That is interesting. I'll have a read about HMF, especially since it seems adjacent to things I should know more about. Considering this issue as...