@edwinbrady any more elegant way to write a Natural Transformation in Idris? https://gist.github.com/mandubian/c00ac89170ef091af734d96d83fbb5a9 … (playing a bit)
-
-
I'll test... I'm trying to see how higher-kind structs can be written in idris
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
would you use record like that? (the parenthenses for nat were not trivial to understand by error msg) https://gist.github.com/mandubian/c00ac89170ef091af734d96d83fbb5a9#file-transnat-idr-L16-L19 …
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.