@edwinbrady Thanks for an engaging series of lectures on @idrislang at #MGSNotts.
Q: did anything ever come of the attempt to implement HoTT in Idris?
Replying to @DrEigenbastard @idrislang
I don't know if there ever has been a serious effort. It would require quite a few internal changes though. Probably something to revisit later.
5:38 AM - 15 Apr 2018
0 replies
0 retweets
1 like
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.