diff --git a/asg/src/program/mod.rs b/asg/src/program/mod.rs
index 3c549a37aa..9dffb92481 100644
--- a/asg/src/program/mod.rs
+++ b/asg/src/program/mod.rs
@@ -31,7 +31,7 @@ use indexmap::IndexMap;
 use std::{cell::RefCell, sync::Arc};
 use uuid::Uuid;
 
-/// Stores the Leo program abstract syntax graph (asg).
+/// Stores the Leo program abstract semantic graph (asg).
 #[derive(Clone)]
 pub struct InnerProgram {
     /// The unique id of the program.
@@ -332,7 +332,7 @@ impl Iterator for InternalIdentifierGenerator {
         Some(out)
     }
 }
-/// TODO (protryon): Please add comments
+/// Returns an ast from the given asg program.
 pub fn reform_ast(program: &Program) -> leo_ast::Program {
     let mut all_programs: IndexMap<String, Program> = IndexMap::new();
     let mut program_stack = program.borrow().imported_modules.clone();
diff --git a/asg/src/scope.rs b/asg/src/scope.rs
index 4092e804a6..c50c5399ff 100644
--- a/asg/src/scope.rs
+++ b/asg/src/scope.rs
@@ -174,7 +174,6 @@ impl InnerScope {
 
     ///
     /// Returns a new scope given a parent scope.
-    /// TODO (protryon): Rename this method to "new()" ?
     ///
     pub fn make_subscope(scope: &Scope) -> Scope {
         Arc::new(RefCell::new(InnerScope {
diff --git a/asg/src/type_.rs b/asg/src/type_.rs
index 08c539babe..67fb6eeb9d 100644
--- a/asg/src/type_.rs
+++ b/asg/src/type_.rs
@@ -38,14 +38,12 @@ pub enum Type {
     Circuit(Arc<Circuit>),
 }
 
-/// TODO (@protryon): Please provide comments.
 #[derive(Clone)]
 pub enum WeakType {
     Type(Type), // circuit not allowed
     Circuit(Weak<Circuit>),
 }
 
-/// TODO (@protryon): Please provide comments.
 #[derive(Clone, PartialEq)]
 pub enum PartialType {
     Type(Type),                                        // non-array or tuple