Post #1782124

@zyd Currently, I have done this in #emacs slime-scratch: $ sbcl > (ql:quickload :coalton) > (uiop:define-package :greenton-user (:mix :coalton-library/math/elementary :coalton :cl)) > (in-package :greenton-user) > (coalton (pow 2 3)) 8.0d0 so I guess this works, anyway. #commonLisp #lisp #typeTheory . But coalton wants me to specify types to do cool things I guess. @tux0r @svetlyak40wt @vindarel @sanityinc @simon_brooke @jackdaniel @dougmerritt