Post #1782122
2026-04-27 00:00 UTC
@screwlisp
Coalton and the its standard libraries are all just normal ASDF systems and packages. So you'd define a package that imports a symbol or whatever way you usually like.
This should be enough to do what you want:
(cl:defpackage :foo
(:use
#:coalton
#:coalton-prelude))
(in-package #:foo)
coalton-prelude is a convenience package
@tux0r @svetlyak40wt @vindarel @sanityinc @simon_brooke @jackdaniel @dougmerritt
Replies (1)
-
@zyd@yap.zyd.lol 2026-04-27 00:03
@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