leonv/agda-intro
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
No description
4 commits 1 branch 0 tags 55 KiB
  • CSS 92.6%
  • Makefile 4.5%
  • Nix 2.8%
Find a file
Exact
Leon Vatthauer fe0f8a6744
 minor
2024-04-30 12:31:24 +02:00
ideas removed agdai, add nix, add exercises 2024-04-11 12:21:15 +01:00
src minor 2024-04-30 12:31:24 +02:00
.envrc removed agdai, add nix, add exercises 2024-04-11 12:21:15 +01:00
.gitignore more changes 2024-04-24 12:46:02 +02:00
Agda.css removed agdai, add nix, add exercises 2024-04-11 12:21:15 +01:00
flake.lock removed agdai, add nix, add exercises 2024-04-11 12:21:15 +01:00
flake.nix removed agdai, add nix, add exercises 2024-04-11 12:21:15 +01:00
Makefile minor 2024-04-30 12:31:24 +02:00
shell.nix removed agdai, add nix, add exercises 2024-04-11 12:21:15 +01:00