1 files changed, 17 insertions, 17 deletions

diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux
index 5a040973e..a71284333 100644
--- a/stdlib/source/test/aedifex/profile.lux
+++ b/stdlib/source/test/aedifex/profile.lux
@@ -39,62 +39,62 @@
     [repository
      [remote (.only Address)]]]]])
 
-(def: distribution
+(def distribution
   (Random /.Distribution)
   (random.or (random#in [])
              (random#in [])))
 
-(def: license
+(def license
   (Random /.License)
   (all random.and
        (random.alphabetic 1)
        (random.alphabetic 1)
        ..distribution))
 
-(def: scm
+(def scm
   (Random /.SCM)
   (random.alphabetic 1))
 
-(def: organization
+(def organization
   (Random /.Organization)
   (all random.and
        (random.alphabetic 1)
        (random.alphabetic 1)))
 
-(def: email
+(def email
   (Random /.Email)
   (random.alphabetic 1))
 
-(def: developer
+(def developer
   (Random /.Developer)
   (all random.and
        (random.alphabetic 1)
        (random.alphabetic 1)
        (random.maybe organization)))
 
-(def: contributor
+(def contributor
   (Random /.Contributor)
   ..developer)
 
-(def: (list_of random)
+(def (list_of random)
   (All (_ a) (-> (Random a) (Random (List a))))
   (do [! random.monad]
     [size (at ! each (n.% 5) random.nat)]
     (random.list size random)))
 
-(def: (set_of hash random)
+(def (set_of hash random)
   (All (_ a) (-> (Hash a) (Random a) (Random (Set a))))
   (at random.functor each
       (set.of_list hash)
       (..list_of random)))
 
-(def: (dictionary_of key_hash key_random value_random)
+(def (dictionary_of key_hash key_random value_random)
   (All (_ k v) (-> (Hash k) (Random k) (Random v) (Random (Dictionary k v))))
   (at random.functor each
       (dictionary.of_list key_hash)
       (..list_of (random.and key_random value_random))))
 
-(def: info
+(def info
   (Random /.Info)
   (all random.and
        (random.maybe (random.alphabetic 1))
@@ -107,23 +107,23 @@
        (..list_of ..contributor)
        ))
 
-(def: name
+(def name
   (Random /.Name)
   (random.alphabetic 1))
 
-(def: repository
+(def repository
   (Random Address)
   (random.alphabetic 1))
 
-(def: source
+(def source
   (Random /.Source)
   (random.alphabetic 1))
 
-(def: target
+(def target
   (Random /.Target)
   (random.alphabetic 1))
 
-(def: .public random
+(def .public random
   (Random /.Profile)
   (all random.and
        (..list_of ..name)
@@ -147,7 +147,7 @@
        (random#in //runtime.default_ruby)
        ))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Distribution /.License /.SCM /.Organization