1. 11
    Whiley: an Open Source Programming Language with Extended Static Checking compilers plt whiley.org
    animatronic avatar via animatronic 14 days ago | cached | 1 comment

  1.  

  2. 1
    redjamjar avatar redjamjar 13 days ago | link

    Checkout this demo of Whiley being used for something practical …

    https://youtu.be/yYGEcyCHiZk