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

Amendment - Two Development Secretaries #41

Open
jmshrv opened this issue Mar 21, 2024 · 5 comments
Open

Amendment - Two Development Secretaries #41

jmshrv opened this issue Mar 21, 2024 · 5 comments
Assignees
@zac-garby
Labels
2023 Nominations and amendments for the 2023 AGM. enhancement New feature or request

Comments

@jmshrv
Copy link

jmshrv commented Mar 21, 2024

Two Development Secretaries

Description

Having two development secretaries would be useful :)
@jmshrv jmshrv added 2023 Nominations and amendments for the 2023 AGM. enhancement New feature or request labels Mar 21, 2024
@zac-garby
Copy link
Member

What about a tree structure. The dev sec becomes the 0-dev-sec, and has k children, each of which are a 1-dev-sec. Recursively, each n-dev-sec gives rise to k (n+1)-dev-secs, until every member of HackSoc is an n-dev-sec?

@jmshrv
Copy link
Author

jmshrv commented Mar 21, 2024

Could this be formalised in Lean/Agda?

@zac-garby
Copy link
Member

I personally believe it would be of great benefit to the Society if we formalised the whole constitution in Agda.

@Carnagion
Copy link

Could this be formalised in Lean/Agda?

This should be done by the devsecs themselves of course.

@zac-garby
Copy link
Member

By induction. Each n-dev-sec must formalise all n+1-dev-secs.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@zac-garby zac-garby

Labels
2023 Nominations and amendments for the 2023 AGM. enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@zac-garby @jmshrv @Carnagion