ashalkhakov / libatsc

ATS/C libraries
MIT License
3 stars 0 forks source link
c dependent-types linear-types system-programming

atslibs: what's this?

This is a repository for one-file ATS libraries for programming in C style:

License

Installing (via gitman)

  1. install gitman
  2. assuming that you have already setup your .gitman.yml, add this repository to the configuration (manually for now)
  3. finally, in your repository, run gitman install to fetch this package

Examples

Please see the TEST directory.