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

Misc cleanups and improvements #32

Merged
merged 13 commits into from
Apr 22, 2024
Merged

Misc cleanups and improvements #32

Changes from 1 commit
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
30426dc
Use the public URL of the agda-stdlib submodule
ibbem Oct 6, 2023
8fa5f9f
nix: Fix the description of the Nix package
ibbem Apr 6, 2024
9e73035
Implement pretty printing for OC
ibbem Apr 6, 2024
512c3ea
Rename NADTVL to NADTL for consistency
ibbem Apr 6, 2024
cca73a2
Replace `if-cong` by `push-function-into-if` from agda-stdlib
ibbem Apr 6, 2024
9d66bdd
Remove `clampAt` and `minFinFromLimit` in favor of `cappedFin`
ibbem Apr 6, 2024
625ff33
Update Agda and the standard library
ibbem Apr 6, 2024
cfa41f8
nix: Filter untracked file
ibbem Apr 17, 2024
9cbebf7
nix: Allow usage in `agda.withPackages`
ibbem Apr 17, 2024
e9cbc03
nix: Create a flake.nix file
ibbem Apr 17, 2024
35c2ab1
Factor out common Agda options
ibbem Apr 19, 2024
f4240f5
nix: Don't introduce our own nixpkgs in the nixpkgs overlay
ibbem Apr 19, 2024
0acd639
Provide an example for how to use `agda.withPackages`
ibbem Apr 19, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
nix: Fix the description of the Nix package
  • Loading branch information
@ibbem
ibbem committed Apr 17, 2024
commit 8fa5f9f3c1bb787464cacdc0c766e1b2cb5c15cf
2 changes: 1 addition & 1 deletion default.nix
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -36,5 +36,5 @@ pkgs.agdaPackages.mkDerivation {
install -D src/Main "$out/bin/$pname"
'';

meta = {description = "On the Expressive Power of Programming Languages";};
meta = {description = "On the Expressive Power of Languages for Static Variability";};
}