uniqueness-typing Examples and Free Source Code - EXAMPLE-A

Linear and Unique types with mkPair...

haskell uniqueness-typing

How to read from stdin?...

functional-programming stdio clean-language uniqueness-typing

What's the intention behind Idris' `BorrowedType`?...

idris linear-types uniqueness-typing