[ADP-3153] Add fine-types-core package with Agda proofs#36
Draft
HeinrichApfelmus wants to merge 1 commit intoHeinrichApfelmus/ADP-3191/nix-agda2hsfrom HeinrichApfelmus/ADP-3153/embedding-agda
+1,093
fine-types-core package with Agda proofs#36