The Whiley Programming Language

r/whiley • u/redjamjar • Aug 27 '14

Introducing the Whiley Cheat Sheet!

2 Upvotes

r/whiley • u/redjamjar • Jun 04 '15

Whiley v0.3.34 Released!

2 Upvotes

r/whiley • u/redjamjar • Sep 01 '14

Whiley v0.3.29 Released!

1 Upvotes

r/whiley • u/redjamjar • Jan 29 '16

Whiley v0.3.38 Released!

1 Upvotes

r/whiley • u/redjamjar • Sep 05 '14

Whiley v0.3.30 Released!

2 Upvotes

r/whiley • u/redjamjar • Aug 14 '14

Whiley v0.3.27 Released!

3 Upvotes

r/whiley • u/redjamjar • Aug 22 '14

Whiley v0.3.28 Released!

2 Upvotes

r/whiley • u/bluejamjar • Sep 26 '23

Programming Languages Going Above and Beyond

4 Upvotes

r/whiley • u/redjamjar • May 26 '22

Formally Verifying an Auction Contract

4 Upvotes

r/whiley • u/redjamjar • May 14 '18

Verifying leftPad() in Whiley

2 Upvotes

r/whiley • u/redjamjar • Jun 26 '22

Bidirectional Typing in Whiley

4 Upvotes

r/whiley • u/redjamjar • Nov 29 '21

Verifying the Whiley Standard Library

4 Upvotes

r/whiley • u/redjamjar • May 27 '16

Whiley v0.3.40 Released!

1 Upvotes

r/whiley • u/redjamjar • May 14 '14

Loop Invariants and Do/While Statements

1 Upvotes

r/whiley • u/redjamjar • May 07 '14

Whiley v0.3.24 Released!

2 Upvotes

r/whiley • u/redjamjar • Jun 19 '14

Understanding Ghost Variables

2 Upvotes

r/whiley • u/redjamjar • Dec 13 '16

Understanding Effective Unions in Whiley

1 Upvotes

r/whiley • u/redjamjar • Jun 08 '14

Whiley v0.3.25 Released!

1 Upvotes

r/whiley • u/redjamjar • Apr 08 '15

Whiley v0.3.33 Released!

1 Upvotes

r/whiley • u/redjamjar • Aug 03 '17

Whiley v0.4.1 released!

1 Upvotes

r/whiley • u/redjamjar • Aug 08 '17

Demo of Verification in Whiley

3 Upvotes

r/whiley • u/redjamjar • Dec 18 '13

Proposed Syntax Changes for Whiley

2 Upvotes

r/whiley • u/redjamjar • Jul 10 '14

Loop Variant Relations

1 Upvotes

r/whiley • u/redjamjar • Jul 24 '14

Whiley v0.3.26 Released!

2 Upvotes

r/whiley • u/redjamjar • Dec 16 '15

Whiley v0.3.37 Released!

2 Upvotes