https://github.com/tabareau/Cocasse
Tip revision: e6319c49fd658a33aacbf4f2a91c890574ebc061 authored by nicolas.tabareau on 13 June 2015, 07:47:27 UTC
small simplifications in records.v
small simplifications in records.v
Tip revision: e6319c4
| File | Mode | Size |
|---|---|---|
| .gitignore | -rw-r--r-- | 119 bytes |
| Cast.v | -rw-r--r-- | 3.7 KB |
| DecidableExtns.v | -rw-r--r-- | 5.0 KB |
| Examples.v | -rw-r--r-- | 3.1 KB |
| Examples_fancy_extraction_hs.v | -rw-r--r-- | 1.9 KB |
| Examples_hs.v | -rw-r--r-- | 890 bytes |
| Makefile | -rw-r--r-- | 148 bytes |
| README.md | -rw-r--r-- | 322 bytes |
| Showable.v | -rw-r--r-- | 876 bytes |
| compiler.v | -rw-r--r-- | 3.3 KB |
| records.v | -rw-r--r-- | 8.6 KB |
