brownplt / pyret.org

The site for pyret.org
2 stars 4 forks source link

Add annotations to `BinTree` #17

Open jpolitz opened 1 year ago

jpolitz commented 1 year ago

The BinTree example should have argument annotations so it runs with the type-checker on. Ditto for other examples on the home page. Thanks @asolove (from https://github.com/brownplt/pyret-lang/pull/1678)