Skip to content

    repl-ihaskell GOLD CCT

    Created by
    sociality
    sociality
    Remixed from
    sociality/repl-ihaskell GOLD

    app illustrates work in progress with the transcoding of Rydeheard and Burstall Computational Category Theory from SML with the aid of ChatGPT and Claude.ai