The Nest
Explore
0
PLFA agda exercises 
module Rec1 where

  import Rec2

  y : ℕ
  y = x