List Question
10 TechQA 2017-09-03 14:47:26How can linear-types replace monads?
227 views
Asked by kuwze
What does the pound sign mean in Idris 2?
60 views
Asked by Janus Troelsen
Can the idea of Affine (relaxed Linear) Types be implemented in an untyped setting to enable safe mutations?
156 views
Asked by AudioBubble
How to properly create a HashMap from linear-base (Data.HashMap.Mutable.Linear) in Haskell?
179 views
Asked by akazukin5151
Idris interpreting nonlinear argument as linear
138 views
Asked by Stefan Wullems
Uniqueness Types Instead STM
310 views
Asked by user782220
Does F* support linear types?
428 views
Asked by Olle Härstedt
How can linear types prevent such implementation of "duplicate"?
223 views
Asked by Bartek Banachewicz
Why does Haskell 9.0 not have Zero in its linear types, but Idris 2 does?
393 views
Asked by srghma
Lowering of higher order function with linear types
368 views
Asked by OllieB