@edwinbrady , I was wondering about using Idris for parsing & type checking various configuration files. Anyone else doing that? I think it might be a nice fit..
-
-
The libraries I created were more for functionality rather than correctness. I used dependent types for Lightweight structural checks. Sadly I’ve not had real excuses to look at it deeper. But I do have ideas, how publishable they are I don’t know.
-
Sadly I have to play the game and try to board that gravy train.
End of conversation
New conversation -
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.