Hazelfire / pedant

A math language for dimensional analysis

https://hazelfire.github.io/pedant/

Hazelfire/pedant Issues

Overloaded Types
Updated 2 years ago2
Compile Pedant to Squiggle
Updated 2 years ago
Tuples
Updated 3 years ago
Documentation on units and theory of dimensional analysis
Updated 3 years ago
Modules
Closed 3 years ago1
Make it easier to navigate between docs and repo
Closed 3 years ago2
Some usability suggestions
Updated 3 years ago4
Verification of type checker
Updated 3 years ago
Pretty Printing evaluation expressions.
Updated 3 years ago
Better error messages
Updated 3 years ago
A testing suite
Updated 3 years ago
Project does not build on Ubuntu 20.04
Closed 3 years ago4
Good stuff
Closed 3 years ago1