Show all
Author Commit Message Labels Comments Date
Thijs Alkemade avatarThijs Alkemade
Moved the main library module to UnitTyped
Thijs Alkemade avatarThijs Alkemade
Renamed everything so it doesn't collide with nand's units.
Thijs Alkemade avatarThijs Alkemade
Now supports building with cabal.
Thijs Alkemade avatarThijs Alkemade
Add num and fractional instances to allow syntax like:
Thijs Alkemade avatarThijs Alkemade
All SI meta-units added. Also percentages.
Thijs Alkemade avatarThijs Alkemade
A couple more currencies.
Thijs Alkemade avatarThijs Alkemade
Added currency.
Thijs Alkemade avatarThijs Alkemade
Fix bytes, new approach to brackets.
Thijs Alkemade avatarThijs Alkemade
Simplified Show Value
Thijs Alkemade avatarThijs Alkemade
Rewrote the meta-units to be even more concise.
Thijs Alkemade avatarThijs Alkemade
Simplified Mul and Div.
Thijs Alkemade avatarThijs Alkemade
More simplification: removed the unit from value, it's now purely type-level.
Thijs Alkemade avatarThijs Alkemade
Added Kelvins, promoted moles.
Thijs Alkemade avatarThijs Alkemade
Some more constants and metaunits. Rescaled mass to be 1 for kg.
Thijs Alkemade avatarThijs Alkemade
Some more SI units and constants.
Thijs Alkemade avatarThijs Alkemade
Somewhat prettier printing.
Thijs Alkemade avatarThijs Alkemade
Moved everything to a more organized structure.
Thijs Alkemade avatarThijs Alkemade
Separated the meta-units into a separate class.
Thijs Alkemade avatarThijs Alkemade
Simplified Mul and Div, added some extra units.
Thijs Alkemade avatarThijs Alkemade
Cleaning up.
Thijs Alkemade avatarThijs Alkemade
Real opeators!
Thijs Alkemade avatarThijs Alkemade
It seems to work now with open-world dimensions
Thijs Alkemade avatarThijs Alkemade
Strongly typed units in haskell.
  1. Prev
  2. Next
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.