Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
Andrew Kent committed May 24, 2017
1 parent 452046f commit fda1df0
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -82,7 +82,7 @@ The field names, ν, are all gensym'd to deter the usage of accessors functions.

At the moment just the basics are implemented. It might be nice to also have:

* Support in regular Racket! (this **will** happen, I'm busy at the moment =)
* Support in regular Racket!
* easy recursive typecasing on subelements (while *maintaining* statically verified coverage)
* option to name struct arguments and generate accessors using those names
* ability to typecase on multiple datatype values at once (a la Racket's match*)
Expand Down

0 comments on commit fda1df0

Please sign in to comment.