Project Group: com.github.mvv.typine

typine

com.github.mvv.typine : typine_2.13

Type inequality witnesses for Scala

Last Version: 0.1-M4

Release Date: Mar 5, 2022

typine

com.github.mvv.typine : typine_3

Type inequality witnesses for Scala

Last Version: 0.1-M4

Release Date: Mar 5, 2022

typine

com.github.mvv.typine : typine_2.12

Type inequality witnesses for Scala

Last Version: 0.1-M4

Release Date: Mar 5, 2022

typine

com.github.mvv.typine : typine_3.0.0-RC2

Type inequality witnesses for Scala

Last Version: 0.1-M2

Release Date: Apr 5, 2021

typine

com.github.mvv.typine : typine_3.0.0-RC1

Type inequality witnesses for Scala

Last Version: 0.1-M1

Release Date: Apr 4, 2021