update README

README.md

@@ -1,31 +1,12 @@
 # lambda-toy
 
-## Grammar
+A variant of the λToy language from [COMP2212 Programming Language Concepts](https://www.southampton.ac.uk/courses/modules/comp2212), based
+heavily on lectures and material from Dr Julian Rathke.
 
-```
-T ::= Int | Bool | T -> T
+## Grammar
 
-E ::= $digits | true | false | E < E | E + E | $varname | if E then E else E | \($varname : T) E | let ($varname : T) = E in E | E E
 ```
+T ::= Int | Bool | T -> T | (T, T)
 
-## Lexemes
-
-- Int
-- Bool
-- $digits
-- true
-- false
-- <
-- +
-- some var name?
-- if
-- then
-- else
-- \
-- (
-- )
-- :
-- let
-- in
-- =
-- ->
+E ::= $digits | true | false | (E, E) | E < E | E + E | $varname | if E then E else E | \($varname : T) E | let ($varname : T) = E in E | E E
+```

lambda-toy.cabal

@@ -5,9 +5,9 @@ cabal-version: 1.12
 -- see: https://github.com/sol/hpack
 
 name:           lambda-toy
-version:        0.1.0.0
+version:        1.0.0.0
 category:       Web
-homepage:       https://github.com/githubuser/lambda-toy#readme
+homepage:       https://github.com/inventor02/lambda-toy#readme
 author:         George Peppard
 maintainer:     gjp1g21@soton.ac.uk
 copyright:      2023 George Peppard