Skip to content

Commit

Permalink
Merge branch 'main' of github.com:propensive/hypotenuse
Browse files Browse the repository at this point in the history
  • Loading branch information
propensive committed Jun 12, 2024
2 parents 40e0489 + 0a60fa2 commit 82962ee
Show file tree
Hide file tree
Showing 2 changed files with 17 additions and 1 deletion.
2 changes: 1 addition & 1 deletion readme.md
Original file line number Diff line number Diff line change
Expand Up @@ -140,7 +140,7 @@ as long as caution is taken to avoid a mismatch between the project's stability
level and the required stability and maintainability of your own project.

Hypotenuse is designed to be _small_. Its entire source code currently consists
of 1515 lines of code.
of 1555 lines of code.

## Building

Expand Down
16 changes: 16 additions & 0 deletions src/core/soundness+hypotenuse-core.scala
Original file line number Diff line number Diff line change
@@ -1,3 +1,19 @@
/*
Hypotenuse, version [unreleased]. Copyright 2024 Jon Pretty, Propensive OÜ.
The primary distribution site is: https://propensive.com/
Licensed under the Apache License, Version 2.0 (the "License"); you may not use this
file except in compliance with the License. You may obtain a copy of the License at
http://www.apache.org/licenses/LICENSE-2.0
Unless required by applicable law or agreed to in writing, software distributed under the
License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND,
either express or implied. See the License for the specific language governing permissions
and limitations under the License.
*/

package soundness

export hypotenuse.{CheckOverflow, CompareGreater, CompareGreaterEqual, CompareLess, CompareLessEqual, DivisionByZero,
Expand Down

0 comments on commit 82962ee

Please sign in to comment.