Pinned Repositories
constexpr-if
coq-practice
Flake-Templates
nixos-configuration
TAPL
Exercises from the book "Types and Programming Language"
LunchMenu
constexpr-if's Repositories
constexpr-if/TAPL
Exercises from the book "Types and Programming Language"
constexpr-if/constexpr-if
constexpr-if/coq-practice
constexpr-if/Flake-Templates
constexpr-if/nixos-configuration