util: Files in sexpc/ of 844294c3a498c4ad

Files for check-in 844294c3a498c4ad

and within directory /sexpc sorted by filename

util
2019-07-24 22:36:50
- sexpc
  current
  - example.cse
    current
  - sexpc.scm
    current
  - type-tests.scm
    current