Matthew Daniels

icon indicating an email [email protected]

icon company National Institute of Standards and Technology icon location Gaithersburg, MD icon location Physicist at @USNISTGOV

Results 1 issues of Matthew Daniels

Use of satSucc triggers "Not in normal form: application of a Lambda-expression"

5 comment

Consider the following simple example (sorry for not being able to get it more minimal, I tried but failed): ```haskell topEntity :: Signal System (Vec 1 (Signed 1)) -> Signal...

bug