improve agda / cornelis support

Author: JonathanLorimer

src/language/agda.rs

@@ -44,7 +44,7 @@ pub(crate) async fn create_agda_template(
 
     println!(
         r"
-        Template: Haskell
+        Template: Agda
         Package Name: {package_name}
         Nixpkgs Version: {nixpkgs_version}
         "

template/agda/flake.nix

@@ -2,47 +2,31 @@
   description = "__package_name";
 
   inputs = {
-    nixpkgs.url = github:nixos/nixpkgs/nixpkgs-unstable;
-    flake-utils.url = github:numtide/flake-utils;
-    cornelis.url = github:isovector/cornelis;
-    agda.url = github:agda/agda/8049b1d996e30ce6204bae2cd8043edff4a22625;
-    agda-stdlib-source = {
-      url = github:agda/agda-stdlib/c5f42e1fb86b964dfe2558e103f2f4f662e553b3;
-      flake = false;
-    };
+    nixpkgs.url = "github:nixos/nixpkgs/nixpkgs-unstable";
+    flake-utils.url = "github:numtide/flake-utils";
+    cornelis.url = "github:isovector/cornelis";
   };
 
   outputs = {
     self,
+    nixpkgs,
     flake-utils,
-    agda,
-    agda-stdlib-source,
     cornelis,
-
   }:
     with flake-utils.lib;
     eachDefaultSystem (system:
-
     let
       pkgs = import nixpkgs {
         inherit system;
-        overlays = [ agda.overlay ];
       };
-      cornelis = cornelis.packages.${system}.cornelis;
-      agda = pkgs.agda.withPackages (p: [
-        (p.standard-library.overrideAttrs (oldAttrs: {
-            version = "nightly";
-            src = agda-stdlib-source;
-        }))
-      ]);
     in
       {
         # nix develop
         devShell =
           pkgs.mkShell {
             buildInputs = [
-              cornelis
-              agda
+              cornelis.packages.${system}.cornelis
+              cornelis.packages.${system}.agda
             ];
           };
       });