GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-08-17 09:50:35 +03:00
Code Issues Projects Releases Wiki Activity
4,244 Commits 64 Branches 26 Tags 81 MiB
master
Commit Graph

3 Commits

Author SHA1 Message Date
Brett Boston
f742b1614a Document polynomial syntax + escape pipes in Version2Table 2020-06-26 15:32:47 -07:00
Dylan McNamee
aa1565bac4 documentation fixes (tuples, spelling, other wibble) 2015-05-05 08:38:43 -07:00
Dylan McNamee
288178dea2 markdown -> .md, Acks section, adding spec to contrib 2014-04-23 13:15:18 -07:00