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.


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


  1. Wu, S. "How to use the funset_avltree library?"