1. About
  3. Publications
  4. Overview
    ❱
    1. Constructive Final Semantics of Finite Bags
    2. Data Types with Symmetries via Action Containers
  7. Tutorials
  8. Agda Development Setup with Nix Flakes
    ❱
    1. Installing and Configuring Nix
    2. Pinning Dependencies Using Nix Flakes
    3. Setting up a Project Skeleton
    4. Type checking Agda Code with Nix
    5. A Nix Shell for Interactive Development
    6. Advanced Usage
  11. Projects
  12. Projects