util: Files in sexpc/ of 352d72f9c637de10

Files for check-in 352d72f9c637de10

and within directory /sexpc sorted by filename

util
2019-07-25 23:59:40
- sexpc
  25.4 hours
  - example.cse
    25.4 hours
  - sexpc.scm
    25.4 hours
  - type-tests.scm
    25.4 hours