Reflection

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

Created on 2023-04-27.
Last modified on 2024-04-19.

{-# OPTIONS --rewriting #-}

Files in the reflection folder

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