GitHub - Redrield/refinement-units: A units of measure library ensures dimensional equivalence with a refinement type checker

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
gradle/wrapper		gradle/wrapper
refinement-ide		refinement-ide
refinement-ide2		refinement-ide2
refinement-typeck		refinement-typeck
src/main/kotlin		src/main/kotlin
.gitignore		.gitignore
build.gradle		build.gradle
gradle.properties		gradle.properties
gradlew		gradlew
gradlew.bat		gradlew.bat
settings.gradle		settings.gradle