Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in refinement-type

Idioms/Practices for Implementing Constrained Numeric Types in F#?

f# refinement-type

Refined and existential types for runtime values

scala shapeless singleton-type refinement-type refined

Is it possible to enforce that a Record respects some invariants?

f# record refinement-type