GitHub - ghost-not-in-the-shell/Mono

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
Typed		Typed
Untyped		Untyped
.gitignore		.gitignore
Prelude.agda		Prelude.agda
README.agda		README.agda

Repository files navigation

module Mono.README where
open import Mono.Prelude
open import Mono.Untyped.PreTerm
open import Mono.Untyped.Weakening
open import Mono.Untyped.Weakening.Properties
open import Mono.Untyped.Substitution
open import Mono.Untyped.Substitution.Properties
open import Mono.Typed.Term
open import Mono.Typed.Weakening
open import Mono.Typed.Term.SyntacticValidity