diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index a9a34df..df9bbd9 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -2,3 +2,4 @@ image: microsoft/dotnet:latest
 
 build:
         script: dotnet build
+        script: dotnet run
diff --git a/DFA.fs b/DFA.fs
index 5d599b2..af38170 100644
--- a/DFA.fs
+++ b/DFA.fs
@@ -4,6 +4,9 @@ open System
 
 type State = { name: String }
 
+///
+/// A deterministic finite automaton
+/// 
 type DFA = {
     sigma: Char list
     states: State list
@@ -12,6 +15,7 @@ type DFA = {
     acceptingStates: State list
 }
 
+/// Returns true if the DFA is valid, false otherwise
 let validateDFA (dfa:DFA) = 
 
     let allAcceptingStatesAreStates = 
diff --git a/NFA.fs b/NFA.fs
index 2083ce5..03ecc6f 100644
--- a/NFA.fs
+++ b/NFA.fs
@@ -4,6 +4,7 @@ open System
 
 type State = { name: String }
 
+/// A non-deterministic finite automaton
 type NFA = {
     sigma: Char list
     states: State list
diff --git a/Program.fs b/Program.fs
index bbe5620..8024b2d 100644
--- a/Program.fs
+++ b/Program.fs
@@ -1,5 +1,4 @@
-// Learn more about F# at http://fsharp.org
-
+
 open System
 
 [<EntryPoint>]