From bb8cf9c02a8cee4084a4aa90b28f7ecc810a91de Mon Sep 17 00:00:00 2001
From: Xuan <tanqazx@gmail.com>
Date: Sun, 28 Apr 2024 09:39:06 +0800
Subject: [PATCH] Documentation fixes.

---
 docs/src/ref/absint.md               | 13 ++++++++++---
 src/interpreter/abstract/abstract.jl |  2 +-
 2 files changed, 11 insertions(+), 4 deletions(-)

diff --git a/docs/src/ref/absint.md b/docs/src/ref/absint.md
index fca2ea9..7e8edb8 100644
--- a/docs/src/ref/absint.md
+++ b/docs/src/ref/absint.md
@@ -1,6 +1,6 @@
 # Abstract Interpretation
 
-PDDL.jl supports [abstract interpretation](https://en.wikipedia.org/wiki/Abstract_interpretation) of PDDL domains, the semantics of which can also be compiled using the [PDDL.jl compiler](compiler.md). This functionality is exposed by the [`abstracted`](@ref) and [`abstractstate`](@ref) functions:
+PDDL.jl supports [abstract interpretation](https://en.wikipedia.org/wiki/Abstract_interpretation) of PDDL domains. This functionality is exposed by the [`abstracted`](@ref) and [`abstractstate`](@ref) functions:
 
 ```@docs
 abstracted
@@ -10,7 +10,14 @@ abstractstate
 The behavior of the abstract interpreter can be customized by specifying the Julia type used to represent abstract values for a particular fluent or PDDL type:
 
 ```@docs
-PDDL.AbstractInterpeter
+PDDL.AbstractInterpreter
+```
+
+Abstract semantics can also be compiled by calling [`compiled`](@ref) on an abstracted domain and state:
+
+```julia
+domain, state = abstracted(domain, state)
+domain, state = compiled(domain, state)
 ```
 
 ## Abstract Values and Types
@@ -21,4 +28,4 @@ Abstract interpretation requires each concrete value to be mapped to an abstract
 PDDL.BooleanAbs
 PDDL.IntervalAbs
 PDDL.SetAbs
-```
\ No newline at end of file
+```
diff --git a/src/interpreter/abstract/abstract.jl b/src/interpreter/abstract/abstract.jl
index 23dc361..5f6696c 100644
--- a/src/interpreter/abstract/abstract.jl
+++ b/src/interpreter/abstract/abstract.jl
@@ -60,7 +60,7 @@ abstracted(domain::GenericDomain, problem::GenericProblem) =
 """
     abstractstate(domain, state)
 
-Construct a state in an abstract `domain` from a concrete `state.
+Construct a state in an abstract `domain` from a concrete `state`.
 """
 function abstractstate(domain::AbstractedDomain, state::GenericState)
     # Copy over facts