Post #1782123

@screwlisp You can see here the definition of the math package, just as an example: https://github.com/coalton-lang/coalton/blob/main/library/math/package.lisp Useful reference that lists all the packages of interest: https://coalton-lang.github.io/reference/ Also see the examples dir in the coalton repo. @tux0r @svetlyak40wt @vindarel @sanityinc @simon_brooke @jackdaniel @dougmerritt