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.

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

Compile if_then_else_ expressions #13

Merged
merged 1 commit into from
Oct 30, 2020
Merged

Conversation

omelkonian
Copy link
Contributor

@omelkonian omelkonian commented Oct 28, 2020

No description provided.

Main.hs Outdated Show resolved Hide resolved
test/Test.agda Outdated Show resolved Hide resolved
Main.hs Outdated Show resolved Hide resolved
Main.hs Outdated Show resolved Hide resolved
Main.hs Outdated Show resolved Hide resolved
Prelude.agda Outdated Show resolved Hide resolved
@omelkonian omelkonian force-pushed the if-then-else branch 2 times, most recently from b774320 to 447ebaa Compare October 29, 2020 20:10
@UlfNorell UlfNorell merged commit 276a55e into agda:master Oct 30, 2020
@UlfNorell
Copy link
Member

👍

@omelkonian omelkonian deleted the if-then-else branch October 30, 2020 18:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants