Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- - remove bytecode manip, game, gui
- - stm to distributed applications
- - add convert to coq/isabelle to formal verify
- - add emacs mode to ide
- - add quickcheck, stateful quickcheck to testing
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement