Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

CPS-0013? | Better builtin data structures in Plutus #638

Merged
merged 5 commits into from
Feb 20, 2024
Merged

CPS-0013? | Better builtin data structures in Plutus #638

merged 5 commits into from
Feb 20, 2024

Commits on Dec 14, 2023

  1. CPS for better builtin datastructures in Plutus

    @michaelpj
    michaelpj committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    51386f4 View commit details
    Browse the repository at this point in the history

Commits on Jan 3, 2024

  1. match CIP title to broad, brief PR title

    @rphair
    rphair authored Jan 3, 2024
    Configuration menu
    Copy the full SHA
    6bbbff9 View commit details
    Browse the repository at this point in the history

Commits on Jan 30, 2024

  1. Address comments

    @michaelpj
    michaelpj committed Jan 30, 2024
    Configuration menu
    Copy the full SHA
    8d73071 View commit details
    Browse the repository at this point in the history

  2. fix missing Title term from YAML header

    @rphair
    rphair authored Jan 30, 2024
    Configuration menu
    Copy the full SHA
    11cd9d3 View commit details
    Browse the repository at this point in the history

Commits on Feb 6, 2024

  1. assign CPS number 13

    @rphair
    rphair authored Feb 6, 2024
    Configuration menu
    Copy the full SHA
    5ec27da View commit details
    Browse the repository at this point in the history