User contributions for AllanGardner
A user with 4 edits. Account created on 15 August 2014.
16 August 2014
- 03:5903:59, 16 August 2014 diff hist +2 m Diagrams/Dev/Constraints typo →What other libraries did you consider? Why sbv? current
- 03:5703:57, 16 August 2014 diff hist +43 Diagrams/Dev add constraints link →Design notes
- 03:5403:54, 16 August 2014 diff hist +205 Diagrams/Dev/Constraints slight reformat →Why not simply parameterize over the scalar value and fix our two-dimensional vector type to be V2?
- 03:5003:50, 16 August 2014 diff hist +9,875 N Diagrams/Dev/Constraints initial revision, slightly modified from https://pad.riseup.net/p/diagrams-constraints-doc (which will be deleted in 30 days)