Commit Graph

3 Commits (332412782ed18b6fcd922df4334b4bbf48e82e47)

Author SHA1 Message Date
J. Ryan Stinnett 417f662ea7 Remove redundant parameter initialisers 2021-04-26 17:12:31 +01:00
J. Ryan Stinnett eb9bf9c83f Tweak Terms constructor 2021-04-26 15:03:17 +01:00
J. Ryan Stinnett d7e6f4b4b5 Add basic types 2021-04-23 17:05:50 +01:00