brendanzab
Follow
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 50 million developers.
Sign upCurrently I'm working as an industrial programming language researcher at YesLogic making Fathom, a dependently typed binary data description language that compiles to Rust. In my spare time I tinker with procedural world generation, draw pictures of houses, and work on my programming language, Pikelet.
This allows the elements of record terms to depend on each other. For example, this expression is now valid:
record { x = 1, y = x } : Record { x :…
The keywords seem to have precedence? For example: For the following code: /// Synthesize the type of a term. #[debug_ensures(self.universe_offse…
