Reflection

Content created by Fredrik Bakke, Egbert Rijke and Fernando Chu.

Created on 2023-04-27.
Last modified on 2024-09-23.

{-# OPTIONS --rewriting #-}

Modules in the reflection namespace

module reflection where

open import reflection.abstractions public
open import reflection.arguments public
open import reflection.boolean-reflection public
open import reflection.definitions public
open import reflection.erasing-equality public
open import reflection.fixity public
open import reflection.group-solver public
open import reflection.literals public
open import reflection.metavariables public
open import reflection.names public
open import reflection.precategory-solver public
open import reflection.rewriting public
open import reflection.terms public
open import reflection.type-checking-monad public

Recent changes