1 Arthur Whitney releases an open-source subset of K with MIT license 2024294 points227 commentsProgramming Languages details