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

Handle identity function #13

Merged

lemastero merged 3 commits into main from id-function

May 4, 2024

Owner

lemastero commented May 3, 2024 •

edited

Loading

handle identity function
handle Agda records as case class'es
intepret main module name as object name not package (this needs to be improved - probably one should split module path into last part - object name and previous parts - package, importing should work, handle parametrized modules)

lemastero added 3 commits

April 30, 2024 12:39


          handle identity function

bb7d895


          handle Records as sum types

c5abcb6


          change module name interpret as object name not package name - fix CI

9f31cec

lemastero merged commit bed63b6 into main

1 check passed

lemastero deleted the id-function branch

May 4, 2024 00:41

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

Labels

None yet