can you tell me some women-invented programming languages created between 1974 and 2009?
Replying to @chrisamaphone
@chrisamaphone Agda 1 was implemented by Catarina Coquand (history at http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.History …) though it emphasised being a proof assistant
6:14 AM - 30 Mar 2015
0 replies
0 retweets
6 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.