ATS

From foldr
Jump to: navigation, search

On this page I will keep track of various ATS-related notes. In particular, things that may not be obvious from the (lack of) documentation.

Templates

When using a library that exposes templates, and those templates are defined in a .dats file, you have to staload the .dats file[1], for example:

staload _ = "libats/DATS/funset_avltree.dats"

External links

References

  1. Wu, S. "How to use the funset_avltree library?" http://stackoverflow.com/a/39726567/1804599