文件名称:si-units:使用 Mercury 类型类的类型安全和功能性 SI 单位实现
文件大小:14KB
文件格式:ZIP
更新时间:2024-07-21 13:09:23
Mercury
国际单位 使用 Mercury 类型类的类型安全和功能性 SI 单位实现。 测试并实现库。 请参阅。 要构建,请使用 GNU make 调用 。
【文件预览】:
si-units-master
----dimmed_value.m(5KB)
----scalar.m(3KB)
----dim.m(4KB)
----test_si_units.m(3KB)
----si_units.m(1KB)
----temperature.m(1KB)
----mass.m(1KB)
----radians.m(2KB)
----si_units.time.m(1KB)
----length.m(3KB)
----electric_current.m(1KB)
----README.md(359B)
----Makefile(721B)
----print.m(6KB)
----luminous_intensity.m(1KB)
----amount_of_substance.m(1KB)
----.gitignore(105B)
----build.cmd(59B)
----exp.m(5KB)