I've just solved a problem using a concept from my thesis that I rejected as useless at least 10 years ago. So that's nice...
-
-
This here that caught my eye earlier in a Github notification?: https://github.com/edwinb/Idris2/commit/04e4ebf80e4464c87c578739aa5d91fa0dd1a509 … It’s interesting for sure!!
-
I really need to write this up. I might even have accidentally done some research on the way.
End of conversation
New conversation -
-
-
any relation to jones-optimality?
-
I hadn't thought about that, but possibly? This is about being able to know what constructor form something has by looking at a different constructor.
End of conversation
New conversation -
-
-
Sounds like a question that comes up a lot when people are trying model model JavaScript-y union types with sum types
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.