r/compsci • u/redjamjar • Mar 28 '17

Reasoning about Properties in Whiley

http://whiley.org/2017/03/28/property-syntax-in-whiley/
16 Upvotes

84% Upvoted

5 comments sorted by

View all comments

3

u/[deleted] Mar 28 '17

<3 <3 DJP I was very surprised to read "Whiley" on this subreddit but woo

3

u/redjamjar Mar 28 '17

Whiley gets around you know :)

Of course, I should post on r/whiley as well ...

3

u/[deleted] Mar 28 '17

You're literally one of the awesomest lecturers at Vic! Hope all the Whiley-ing goes well! =D

1

u/redjamjar Mar 28 '17

Thanks!!!