initial attempt to enable client/server annotations anywhere

links-lang / links

Links: Linking Theory to Practice for the Web

http://www.links-lang.org

Other

332 stars 42 forks source link

initial attempt to enable client/server annotations anywhere #1133

Closed jamescheney closed 2 years ago

jamescheney commented 2 years ago

work in progress on #907

jamescheney commented 2 years ago

It sounded like people were happy with merging, perhaps a quick review would be helpful. In particular we are currently not using the new features in any tests whatsoever (even just syntax/typechecking) so suggestions what tests should be added are welcome.

dhil commented 2 years ago

Yes! I will have a look tomorrow!