giuliano108

Guix on WSL2

(updated versions of this document, plus more, live here)

This will show you how to get Guix running on WSL2.
We're going to go as "minimal" as possible, without starting off one of the readily available WSL2 distros.
Parts of this guide should help with understanding how to set up any custom distro on WSL, not just Guix.

Disclaimer: I'm a Guix nOOb! (hence going through the trouble of installing it on WSL2)

khibino

module Yoneda where

open import Function.Base using (_∘_)
open import Relation.Binary.PropositionalEquality.Core using (_≡_)

{- specialized Morphism to Haskell function,
   specialized Functor to Haskell Functor,
   Proof of Yoneda Lemma -}
{- 射を Haskell の関数に、
   関手を Haskell の Functor に限定した場合の