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

Slides/0408 #359

Merged
merged 12 commits into from
Apr 29, 2024
Merged

Slides/0408 #359

merged 12 commits into from
Apr 29, 2024

Commits on Apr 12, 2024

  1. declaration dfn as first slide of decls

    @leogermond
    leogermond committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    e1395b8 View commit details
    Browse the repository at this point in the history

  2. constant decl with initial value

    @leogermond
    leogermond committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    0576449 View commit details
    Browse the repository at this point in the history

  3. signed integer: avoid mixing up integer with *signed* int

    @leogermond
    leogermond committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    233ca2e View commit details
    Browse the repository at this point in the history

  4. typo space in conversion

    @leogermond
    leogermond committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    6a0d9d2 View commit details
    Browse the repository at this point in the history

  5. reverse a negative quiz

    @leogermond
    leogermond committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    d313848 View commit details
    Browse the repository at this point in the history

  6. missing ;

    @leogermond
    leogermond committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    2923842 View commit details
    Browse the repository at this point in the history

  7. intro contracts: more precise, simpler, fix typo

    @leogermond
    leogermond committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    4eceb56 View commit details
    Browse the repository at this point in the history

  8. typo: control*l*ed

    @leogermond
    leogermond committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    c26a6a1 View commit details
    Browse the repository at this point in the history

  9. intro contract: fix answer (already positive)

    @leogermond
    leogermond committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    8cf4ad7 View commit details
    Browse the repository at this point in the history

  10. 2022: fix repr clause

    @leogermond
    leogermond committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    eec918b View commit details
    Browse the repository at this point in the history

  11. intro genericity: clarify null procedure

    @leogermond
    leogermond committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    24c95c9 View commit details
    Browse the repository at this point in the history

  12. generic: created is a bit vague

    @leogermond
    leogermond committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    862a6f5 View commit details
    Browse the repository at this point in the history