In recent versions of singletons, < is used instead of :<

konn / computational-algebra

General-Purpose Computer Algebra System as an EDSL in Haskell

http://konn.github.io/computational-algebra/

BSD 3-Clause "New" or "Revised" License

92 stars 9 forks source link

Closed ldr709 closed 4 years ago

ldr709 commented 4 years ago

This PR updates the example program to use < instead of :<.

konn commented 4 years ago

Oops, I overlooked this pull-request. Sorry. The issue was addressed in upstream package type-natural.