util: Files in sexpc/ of 7ba40af07e719881

Files for check-in 7ba40af07e719881

and within directory /sexpc sorted by filename

util
2019-07-25 11:06:57
- sexpc
  current
  - example.cse
    12.5 hours
  - sexpc.scm
    current
  - type-tests.scm
    12.5 hours