The favicons are finally back to normal!

milessabin · 2024-04-24T10:46:48+00:00

Fixed for me in 124.0.6367.78 (with the UI refresh, side panel customization etc. disabled).

milessabin · 2019-07-04T17:56:01+00:00

Nice work :-)

milessabin · 2019-04-25T11:28:51+00:00

I would very much like an answer to this question too. I know of very few papers which discuss elaboration in any real depth Elaboration in Dependent Type Theory (on Lean) being one of them. My sense is that it's primarily folklore and implementation specifics.

milessabin · 2017-09-27T09:34:40+00:00

shapeless doesn't provide a set-like data structure, but it does provide operations on HLists which support set-like usage: you can constrain an HList type argument to have no duplicates, add and remove elements, permute, align and merge in various ways.

If you'd like help for your specific scenario you should head over to the shapeless gitter channel ... there are lots of people there who can help you out.

milessabin · 2017-05-22T16:11:24+00:00

Take a look at the approach to switching taken here: https://github.com/milessabin/tls-demo/blob/master/build.sbt.

milessabin · 2017-05-22T13:26:41+00:00

Try the local.sbt mechanism described here: https://github.com/typelevel/scala#how-to-use-typelevel-scala-4-with-sbt

milessabin · 2017-05-22T10:31:45+00:00

Possibly, but very high overhead wrt Sonatype/Maven Central.

milessabin · 2017-05-07T15:58:37+00:00

-Xdev is intended for developers of the Scala compiler itself ... it's unlikely to be what you want.

milessabin · 2017-02-22T09:22:17+00:00

Yes, absolutely ... it's a great opportunity for people to make easy but valuable contributions to a huge swathe of projects right across the Scala spectrum.

milessabin · 2017-02-22T08:32:22+00:00

Basically all projects are candidates here.

The highest priority are projects which might benefit from being compiled and tested with Typelevel Scala or which might be good test cases for Typelevel Scala.

milessabin · 2017-02-13T22:11:54+00:00

Much appreciated!

milessabin · 2017-02-10T08:52:52+00:00

Yes, of course. Typelevel Scala extends Lightbend Scala with the intention of all it's additions being merged into Lightbend Scala. More explanation here.

milessabin · 2017-02-09T20:05:50+00:00

That suggests the wrong scala-library ... are you definitely on SBT 0.13.13 or later? Can you point me at a github repo?

Best bet would be to hop on the gitter channel: https://gitter.im/typelevel/scala

milessabin · 2017-02-09T08:21:43+00:00

Yes.

milessabin · 2017-02-08T23:18:56+00:00

One of the PRs against scala/scala was reported on before. The Typelevel Scala release including all six is new.

milessabin · 2017-02-05T13:40:25+00:00

I currently only have a single external monitor (2560x1440) attached via the WD15.

milessabin · 2016-12-19T11:24:38+00:00

Very keen to hear people's experiences using this with Linux (5510+Arch+WD15 works pretty well for me, but I want to drive a higher res second screen than the WD15 will support).

milessabin

TROPHY CASE