Commit Graph

2 Commits

Author SHA1 Message Date
Tuncer Ayaz 65905122b8 Improve and extend test data (#99)
* Add uncounted comments in Ur/Web files

* Add Cogent test file

* Add F* test file
2017-01-29 22:31:54 +00:00
Tuncer Ayaz 825f9becdd Add Ur/Web support (#95) 2017-01-22 03:18:16 +00:00