Team 4 - Gridcheck

• 

  Some linear logic diagrams

• 

  The tui

Inspiration

I went to a talk about the resource interpretation of linear logic - and the diagrams looked a bit like factorio. The original plan was to make a game with logic puzzles which have to be solved with as little budget as possible - using things like the exchange law or law of the excluded middle would make your life easy -- but be very costly.

What it does

It type checks linear logic grids that include Tensor, function, and, bottom and top types. It also has a little UI

Built With

• haskel