Discussions

• 1 You must be logged in to vote

  💬

  soundness of combined Coalton/CL codebases

  tgbugs-build started Nov 5, 2021 in Other

  

  

  

  

  3
• 1 You must be logged in to vote

  🙏

  Trying the small example programs

  HM0880 asked Oct 10, 2021 in Help! · Answered

  

  

  

  

  6
• 3 You must be logged in to vote

  💡

  Coalton development model and Lisp interface

  stylewarning started Sep 15, 2021 in Ideas and Proposals

  

  

  2
• 1 You must be logged in to vote

  💡

  Embrace the multi-argument, multi-value nature of Common Lisp in Coalton

  johnwcowan started Sep 13, 2021 in Ideas and Proposals

  

  

  2
• 1 You must be logged in to vote

  💡

  Create an Integral typeclass?

  enhancement New feature or request standard library

  bitmappergit started Sep 10, 2021 in Ideas and Proposals

  

  

  

  

  2
• 1 You must be logged in to vote

  💡

  Allow defining overlapping instances?

  type system The Coalton type system

  eliaslfox started Sep 7, 2021 in Ideas and Proposals

  

  

  0
• 2 You must be logged in to vote

  💡

  mAkE cOaLtOn CaSe SeNsEtIve

  eliaslfox started Sep 6, 2021 in Ideas and Proposals

  

  

  1
• 1 You must be logged in to vote

  💡

  How do we implement Ratio and Complex?

  standard library

  stylewarning started Sep 2, 2021 in Ideas and Proposals

  

  

  

  

  5
• 1 You must be logged in to vote

  💡

  Implement GHC’s SPECIALIZE pragma

  performance

  stylewarning started Sep 2, 2021 in Ideas and Proposals

  

  

  0
• 1 You must be logged in to vote

  💡

  Typeclass Codegen Ideas

  performance codegen Coalton -> Lisp

  eliaslfox started Aug 30, 2021 in Ideas and Proposals

  

  

  0