Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
New posts in singleton-type
Encoding "Less Than" with Haskell
Dec 04, 2021
haskell
gadt
dependent-type
singleton-type
Refined and existential types for runtime values
Aug 15, 2019
scala
shapeless
singleton-type
refinement-type
refined
What is a Singleton Type exactly?
Nov 12, 2022
scala
types
singleton-type
Singleton types in Haskell
Sep 04, 2022
haskell
dependent-type
type-theory
singleton-type
Can't prove that singleton types are singleton types while generating type class instance
Apr 03, 2021
scala
shapeless
implicits
singleton-type
« Newer Entries