Alex Porter

[WIP] Initial proposal for new map format.

5

This proposal is a notional format for a more extensible representation of terrain map data. This newer format would allow for custom terrain materials and decals in addition to allowing...

https://github.com/MikeInnes/Lazy.jl/blob/a1b5f06ade07a442f0c009fb0bb4fe594db11fd2/src/Lazy.jl#L133 Requires update to length()

Facilitate integration of Dafny into larger projects

4

### Summary Define detailed user stories and CONOPs for users who would like to use Dafny as a part of their larger code base. ### Background and Motivation Dafny supports...