util: Files in sexpc/ of b8722bb3e87332d0

Files for check-in b8722bb3e87332d0

and within directory /sexpc sorted by filename

util
2019-07-29 06:29:05
- sexpc
  17.8 hours
  - example.cse
    4.3 days
  - sexpc.scm
    17.8 hours
  - type-tests.scm
    4.3 days