GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-12 04:17:04 +03:00
Code Issues Projects Releases Wiki Activity

Warning removal

Browse Source
This commit is contained in:
Trevor Elliott 2015-08-13 22:50:23 -07:00
parent 6784125cfa
commit 0d4a5bf5d3
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs
View File

@ -1,3 +1,5 @@
{-# LANGUAGE PatternGuards #-}
-- | An interval interpretation of types.
module Cryptol.TypeCheck.Solver.Numeric.Interval where