Talndir

{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE UndecidableInstances #-}
module FizzBuzz where

import Data.Kind (Type)
import GHC.TypeLits (Symbol, AppendSymbol)

data Nat :: Type where

Talndir

package day21

import parsley.Parsley
import parsley.combinator.{some}
import parsley.implicits.zipped.*

import parsing.Parsing.*
import day.Day
import coord.*
import Dir.*

Talndir

module Example where

open import Data.List
open import Data.Bool
open import Relation.Binary.PropositionalEquality

data Rose : Set where
    V : Bool → Rose
    B : List Rose → Rose