Gimle

Solving physics with programs.

physical systems typed programs

A coding model for physics.