Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse code

Updated Readme; added license

  • Loading branch information...
commit d50100ffeece5538023c82031ce5117fa899a446 1 parent 5c14836
authored May 08, 2012
22  DTKV_Conversion.hs
... ...
@@ -1,3 +1,25 @@
  1
+{-
  2
+Copyright © 2012 Daniel Tahara, Kartik Venkatraman
  3
+
  4
+Permission is hereby granted, free of charge, to any person obtaining a copy of
  5
+this software and associated documentation files (the "Software"), to deal in 
  6
+the Software without restriction, including without limitation the rights to 
  7
+use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies 
  8
+of the Software, and to permit persons to whom the Software is furnished to do
  9
+ so, subject to the following conditions:
  10
+
  11
+The above copyright notice and this permission notice shall be included in all
  12
+copies or substantial portions of the Software.
  13
+
  14
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
  15
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 
  16
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE 
  17
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
  18
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 
  19
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
  20
+SOFTWARE.
  21
+-}
  22
+
1 23
 module DTKV_Conversion where
2 24
 
3 25
 import Recognition
22  DTKV_Conversion_Test.hs
... ...
@@ -1,3 +1,25 @@
  1
+{-
  2
+Copyright © 2012 Daniel Tahara, Kartik Venkatraman
  3
+
  4
+Permission is hereby granted, free of charge, to any person obtaining a copy of
  5
+this software and associated documentation files (the "Software"), to deal in 
  6
+the Software without restriction, including without limitation the rights to 
  7
+use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies 
  8
+of the Software, and to permit persons to whom the Software is furnished to do
  9
+ so, subject to the following conditions:
  10
+
  11
+The above copyright notice and this permission notice shall be included in all
  12
+copies or substantial portions of the Software.
  13
+
  14
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
  15
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 
  16
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE 
  17
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
  18
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 
  19
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
  20
+SOFTWARE.
  21
+-}
  22
+
1 23
 module DTKV_Conversion_Test where
2 24
 
3 25
 import Data.Maybe
22  DTKV_Grammar.hs
... ...
@@ -1,3 +1,25 @@
  1
+{-
  2
+Copyright © 2012 Daniel Tahara, Kartik Venkatraman
  3
+
  4
+Permission is hereby granted, free of charge, to any person obtaining a copy of
  5
+this software and associated documentation files (the "Software"), to deal in 
  6
+the Software without restriction, including without limitation the rights to 
  7
+use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies 
  8
+of the Software, and to permit persons to whom the Software is furnished to do
  9
+ so, subject to the following conditions:
  10
+
  11
+The above copyright notice and this permission notice shall be included in all
  12
+copies or substantial portions of the Software.
  13
+
  14
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
  15
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 
  16
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE 
  17
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
  18
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 
  19
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
  20
+SOFTWARE.
  21
+-}
  22
+
1 23
 module DTKV_Grammar where
2 24
 
3 25
 type Word = String
22  DTKV_Implementation.hs
... ...
@@ -1,3 +1,25 @@
  1
+{-
  2
+Copyright © 2012 Daniel Tahara, Kartik Venkatraman
  3
+
  4
+Permission is hereby granted, free of charge, to any person obtaining a copy of
  5
+this software and associated documentation files (the "Software"), to deal in 
  6
+the Software without restriction, including without limitation the rights to 
  7
+use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies 
  8
+of the Software, and to permit persons to whom the Software is furnished to do
  9
+ so, subject to the following conditions:
  10
+
  11
+The above copyright notice and this permission notice shall be included in all
  12
+copies or substantial portions of the Software.
  13
+
  14
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
  15
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 
  16
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE 
  17
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
  18
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 
  19
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
  20
+SOFTWARE.
  21
+-}
  22
+
1 23
 module DTKV_Implementation where
2 24
 
3 25
 import Data.Maybe
22  DTKV_Implementation_Test.hs
... ...
@@ -1,3 +1,25 @@
  1
+{-
  2
+Copyright © 2012 Daniel Tahara, Kartik Venkatraman
  3
+
  4
+Permission is hereby granted, free of charge, to any person obtaining a copy of
  5
+this software and associated documentation files (the "Software"), to deal in 
  6
+the Software without restriction, including without limitation the rights to 
  7
+use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies 
  8
+of the Software, and to permit persons to whom the Software is furnished to do
  9
+ so, subject to the following conditions:
  10
+
  11
+The above copyright notice and this permission notice shall be included in all
  12
+copies or substantial portions of the Software.
  13
+
  14
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
  15
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 
  16
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE 
  17
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
  18
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 
  19
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
  20
+SOFTWARE.
  21
+-}
  22
+
1 23
 module DTKV_Implementation_Test where
2 24
 
3 25
 import DTKV_Implementation
22  DTKV_Test.hs
... ...
@@ -1,3 +1,25 @@
  1
+{-
  2
+Copyright © 2012 Daniel Tahara, Kartik Venkatraman
  3
+
  4
+Permission is hereby granted, free of charge, to any person obtaining a copy of
  5
+this software and associated documentation files (the "Software"), to deal in 
  6
+the Software without restriction, including without limitation the rights to 
  7
+use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies 
  8
+of the Software, and to permit persons to whom the Software is furnished to do
  9
+ so, subject to the following conditions:
  10
+
  11
+The above copyright notice and this permission notice shall be included in all
  12
+copies or substantial portions of the Software.
  13
+
  14
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
  15
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 
  16
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE 
  17
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
  18
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 
  19
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
  20
+SOFTWARE.
  21
+-}
  22
+
1 23
 module DTKV_Test where
2 24
 
3 25
 import DTKV_Implementation
22  Deduction.hs
... ...
@@ -1,3 +1,25 @@
  1
+{-
  2
+Copyright © 2012 Daniel Tahara, Kartik Venkatraman
  3
+
  4
+Permission is hereby granted, free of charge, to any person obtaining a copy of
  5
+this software and associated documentation files (the "Software"), to deal in 
  6
+the Software without restriction, including without limitation the rights to 
  7
+use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies 
  8
+of the Software, and to permit persons to whom the Software is furnished to do
  9
+ so, subject to the following conditions:
  10
+
  11
+The above copyright notice and this permission notice shall be included in all
  12
+copies or substantial portions of the Software.
  13
+
  14
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
  15
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 
  16
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE 
  17
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
  18
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 
  19
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
  20
+SOFTWARE.
  21
+-}
  22
+
1 23
 module Deduction where
2 24
 
3 25
 -- This import lets you use the nub function, which you may find useful.
2  README.md
Source Rendered
@@ -75,5 +75,3 @@
75 75
 
76 76
 Copyright © 2012 Daniel Tahara, Kartik Venkatraman
77 77
 
78  
-License: 
79  
-
22  Recognition.hs
... ...
@@ -1,3 +1,25 @@
  1
+{-
  2
+Copyright © 2012 Daniel Tahara, Kartik Venkatraman
  3
+
  4
+Permission is hereby granted, free of charge, to any person obtaining a copy of
  5
+this software and associated documentation files (the "Software"), to deal in 
  6
+the Software without restriction, including without limitation the rights to 
  7
+use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies 
  8
+of the Software, and to permit persons to whom the Software is furnished to do
  9
+ so, subject to the following conditions:
  10
+
  11
+The above copyright notice and this permission notice shall be included in all
  12
+copies or substantial portions of the Software.
  13
+
  14
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
  15
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 
  16
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE 
  17
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
  18
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 
  19
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
  20
+SOFTWARE.
  21
+-}
  22
+
1 23
 module Recognition where
2 24
 
3 25
 import Deduction
22  Recognition_Test.hs
... ...
@@ -1,3 +1,25 @@
  1
+{-
  2
+Copyright © 2012 Daniel Tahara, Kartik Venkatraman
  3
+
  4
+Permission is hereby granted, free of charge, to any person obtaining a copy of
  5
+this software and associated documentation files (the "Software"), to deal in 
  6
+the Software without restriction, including without limitation the rights to 
  7
+use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies 
  8
+of the Software, and to permit persons to whom the Software is furnished to do
  9
+ so, subject to the following conditions:
  10
+
  11
+The above copyright notice and this permission notice shall be included in all
  12
+copies or substantial portions of the Software.
  13
+
  14
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
  15
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 
  16
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE 
  17
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
  18
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 
  19
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
  20
+SOFTWARE.
  21
+-}
  22
+
1 23
 module Recognition_Test where
2 24
 
3 25
 import Recognition

0 notes on commit d50100f

Please sign in to comment.
Something went wrong with that request. Please try again.