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

Add in-progress redex semantics to repository #324

Draft
wants to merge 56 commits into
base: main
Choose a base branch
from
Draft

Add in-progress redex semantics to repository #324

wants to merge 56 commits into from

Commits on Dec 1, 2023

  1. datatypes rfc

    @oflatt
    oflatt committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    1c9e5e7 View commit details
    Browse the repository at this point in the history

Commits on Dec 8, 2023

  1. working on semantics

    @oflatt
    oflatt committed Dec 8, 2023
    Configuration menu
    Copy the full SHA
    3eedb7d View commit details
    Browse the repository at this point in the history

Commits on Dec 11, 2023

  1. progress on query semantics

    @oflatt
    oflatt committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    bddb323 View commit details
    Browse the repository at this point in the history

  2. semantics for functions

    @oflatt
    oflatt committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    ec03e2f View commit details
    Browse the repository at this point in the history

Commits on Dec 12, 2023

  1. started on actions

    @oflatt
    oflatt committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    9985a65 View commit details
    Browse the repository at this point in the history

Commits on Dec 15, 2023

  1. some text about invaiant maintenance

    @oflatt
    oflatt committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    aec4d88 View commit details
    Browse the repository at this point in the history

  2. some spellings

    @oflatt
    oflatt committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    59a9b60 View commit details
    Browse the repository at this point in the history

  3. small cleanup'

    @oflatt
    oflatt committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    b136dea View commit details
    Browse the repository at this point in the history

Commits on Dec 24, 2023

  1. get started on redex version

    @oflatt
    oflatt committed Dec 24, 2023
    Configuration menu
    Copy the full SHA
    340b0e1 View commit details
    Browse the repository at this point in the history

Commits on Dec 26, 2023

  1. big progress with metafunctions

    @oflatt
    oflatt committed Dec 26, 2023
    Configuration menu
    Copy the full SHA
    b763e1a View commit details
    Browse the repository at this point in the history

  2. eval actions and generate pngs

    @oflatt
    oflatt committed Dec 26, 2023
    Configuration menu
    Copy the full SHA
    6a1e8cb View commit details
    Browse the repository at this point in the history

  3. todo list

    @oflatt
    oflatt committed Dec 26, 2023
    Configuration menu
    Copy the full SHA
    e40c9de View commit details
    Browse the repository at this point in the history

  4. semantics.rkt run in make

    @oflatt
    oflatt committed Dec 26, 2023
    Configuration menu
    Copy the full SHA
    20cfa50 View commit details
    Browse the repository at this point in the history

  5. env in database

    @oflatt
    oflatt committed Dec 26, 2023
    Configuration menu
    Copy the full SHA
    8b9f6e9 View commit details
    Browse the repository at this point in the history

Commits on Dec 27, 2023

  1. typed judgement

    @oflatt
    oflatt committed Dec 27, 2023
    Configuration menu
    Copy the full SHA
    ff90ad3 View commit details
    Browse the repository at this point in the history

  2. add union

    @oflatt
    oflatt committed Dec 27, 2023
    Configuration menu
    Copy the full SHA
    e62ee69 View commit details
    Browse the repository at this point in the history

Commits on Dec 28, 2023

  1. restore congruence implementation

    @oflatt
    oflatt committed Dec 28, 2023
    Configuration menu
    Copy the full SHA
    de88a4f View commit details
    Browse the repository at this point in the history

  2. restore congruence works

    @oflatt
    oflatt committed Dec 28, 2023
    Configuration menu
    Copy the full SHA
    12d5a79 View commit details
    Browse the repository at this point in the history

  3. move semantics into semantics folder

    @oflatt
    oflatt committed Dec 28, 2023
    Configuration menu
    Copy the full SHA
    9d3cb4f View commit details
    Browse the repository at this point in the history

  4. add rules to database state

    @oflatt
    oflatt committed Dec 28, 2023
    Configuration menu
    Copy the full SHA
    41ad109 View commit details
    Browse the repository at this point in the history

  5. use upper case for grammar

    @oflatt
    oflatt committed Dec 28, 2023
    Configuration menu
    Copy the full SHA
    0c7550a View commit details
    Browse the repository at this point in the history

  6. typed rules working

    @oflatt
    oflatt committed Dec 28, 2023
    Configuration menu
    Copy the full SHA
    d442706 View commit details
    Browse the repository at this point in the history

  7. add rules to database

    @oflatt
    oflatt committed Dec 28, 2023
    Configuration menu
    Copy the full SHA
    e14a6d8 View commit details
    Browse the repository at this point in the history

Commits on Dec 29, 2023

  1. rename to typed program

    @oflatt
    oflatt committed Dec 29, 2023
    Configuration menu
    Copy the full SHA
    24c0fa1 View commit details
    Browse the repository at this point in the history

  2. evaluating rules, need to run queries

    @oflatt
    oflatt committed Dec 29, 2023
    Configuration menu
    Copy the full SHA
    70aa587 View commit details
    Browse the repository at this point in the history

  3. add rough draft e-matching

    @oflatt
    oflatt committed Dec 29, 2023
    Configuration menu
    Copy the full SHA
    3206562 View commit details
    Browse the repository at this point in the history

  4. Running rules! Does it work? Need more tests

    @oflatt
    oflatt committed Dec 29, 2023
    Configuration menu
    Copy the full SHA
    c9006ab View commit details
    Browse the repository at this point in the history

Commits on Dec 30, 2023

  1. fix up eval actions

    @oflatt
    oflatt committed Dec 30, 2023
    Configuration menu
    Copy the full SHA
    a846e5f View commit details
    Browse the repository at this point in the history

  2. scribble file for semantics doc

    @oflatt
    oflatt committed Dec 30, 2023
    Configuration menu
    Copy the full SHA
    2773fb2 View commit details
    Browse the repository at this point in the history

  3. format arrow

    @oflatt
    oflatt committed Dec 30, 2023
    Configuration menu
    Copy the full SHA
    23d770b View commit details
    Browse the repository at this point in the history

  4. fix up tests again

    @oflatt
    oflatt committed Dec 30, 2023
    Configuration menu
    Copy the full SHA
    5f4f1c7 View commit details
    Browse the repository at this point in the history

  5. style tweak

    @oflatt
    oflatt committed Dec 30, 2023
    Configuration menu
    Copy the full SHA
    74731dc View commit details
    Browse the repository at this point in the history

  6. refactor to have a tset literal

    @oflatt
    oflatt committed Dec 30, 2023
    Configuration menu
    Copy the full SHA
    60f10c2 View commit details
    Browse the repository at this point in the history

  7. add constructor for congr

    @oflatt
    oflatt committed Dec 30, 2023
    Configuration menu
    Copy the full SHA
    aae0a3a View commit details
    Browse the repository at this point in the history

Commits on Dec 31, 2023

  1. some progress on typesetting

    @oflatt
    oflatt committed Dec 31, 2023
    Configuration menu
    Copy the full SHA
    4e2cbf3 View commit details
    Browse the repository at this point in the history

  2. try to make render function

    @oflatt
    oflatt committed Dec 31, 2023
    Configuration menu
    Copy the full SHA
    0bbab80 View commit details
    Browse the repository at this point in the history

  3. more semantics, render on multiple lines

    @oflatt
    oflatt committed Dec 31, 2023
    Configuration menu
    Copy the full SHA
    41c7ace View commit details
    Browse the repository at this point in the history

  4. experiment with alternate semantics, too slow

    @oflatt
    oflatt committed Dec 31, 2023
    Configuration menu
    Copy the full SHA
    ee98538 View commit details
    Browse the repository at this point in the history

Commits on Jan 1, 2024

  1. simplify evaluate expr

    @oflatt
    oflatt committed Jan 1, 2024
    Configuration menu
    Copy the full SHA
    3c67361 View commit details
    Browse the repository at this point in the history

Commits on Jan 3, 2024

  1. better todo section 

    '
    @oflatt
    oflatt committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    29b2c39 View commit details
    Browse the repository at this point in the history

  2. found bug in running query

    @oflatt
    oflatt committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    5e0cedc View commit details
    Browse the repository at this point in the history

  3. working on better query execution

    @oflatt
    oflatt committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    4f079dd View commit details
    Browse the repository at this point in the history

  4. another try at better e-matching

    @oflatt
    oflatt committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    3c4fb7d View commit details
    Browse the repository at this point in the history

  5. weird error

    @oflatt
    oflatt committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    96a10a1 View commit details
    Browse the repository at this point in the history

  6. delete old md file

    @oflatt
    oflatt committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    cf6a87f View commit details
    Browse the repository at this point in the history

  7. fix new version of valid-subst

    @oflatt
    oflatt committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    bf372e0 View commit details
    Browse the repository at this point in the history

Commits on Jan 4, 2024

  1. fix several bugs

    @oflatt
    oflatt committed Jan 4, 2024
    Configuration menu
    Copy the full SHA
    6d73020 View commit details
    Browse the repository at this point in the history

  2. fix up tests

    @oflatt
    oflatt committed Jan 4, 2024
    Configuration menu
    Copy the full SHA
    d453c6f View commit details
    Browse the repository at this point in the history

  3. formatting fixes

    @oflatt
    oflatt committed Jan 4, 2024
    Configuration menu
    Copy the full SHA
    c1a6873 View commit details
    Browse the repository at this point in the history

  4. noticed bug in set union typesetting

    @oflatt
    oflatt committed Jan 4, 2024
    Configuration menu
    Copy the full SHA
    bd5bdca View commit details
    Browse the repository at this point in the history

Commits on Jan 7, 2024

  1. some small fixes

    @oflatt
    oflatt committed Jan 7, 2024
    Configuration menu
    Copy the full SHA
    9f7a843 View commit details
    Browse the repository at this point in the history

  2. more formatting sets

    @oflatt
    oflatt committed Jan 7, 2024
    Configuration menu
    Copy the full SHA
    5ecbc9e View commit details
    Browse the repository at this point in the history

Commits on Jan 8, 2024

  1. more set notation fixes

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

  2. fix up tests again

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

  3. finally congruence looks ok

    @oflatt
    oflatt committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    6cb9cb2 View commit details
    Browse the repository at this point in the history

Commits on Jan 12, 2024

  1. get rid of datatypes rfc for now

    @oflatt
    oflatt committed Jan 12, 2024
    Configuration menu
    Copy the full SHA
    e46aef4 View commit details
    Browse the repository at this point in the history