List Question
10 TechQA 2020-09-26 18:15:56Is there a pattern/trick to enforce '<:' when defining type aliases with '='
129 views
Asked by Turin
Weird abstract type construct in a method in scala
65 views
Asked by MaatDeamon
Idioms/Practices for Implementing Constrained Numeric Types in F#?
593 views
Asked by 3Sphere
Liquid Haskell: "Cyclic type alias definition" error from an inlined recursive function
231 views
Asked by Alex Varga
Confusion about type refinement syntax
502 views
Asked by MaatDeamon
What is a difference between refinement type and anonymous subclass in Scala 3?
245 views
Asked by Talos
Getting predicate from Refined
151 views
Asked by dalle
Proofs of structural properties of arguments in match in coq
201 views
Asked by fakedrake
implicit extension methods on type refinements
134 views
Asked by Luciano
Refinement of a B specification
102 views
Asked by user1797730