I'm making this thing:https://github.com/edwinb/Idris2
-
-
Replying to @edwinbrady
Does this mean I can have good runtime monitoring by optionally retaining type information? If so I'm giddy with excitement.pic.twitter.com/jADSdSlQTw
1 reply 1 retweet 6 likes
Replying to @deech
Types can hang around at run time if you want, if that's what you mean, yes. Here's a tiny example: https://github.com/edwinb/Idris2/blob/master/tests/chez/chez007/TypeCase.idr …
3:12 PM - 8 Jul 2019
0 replies
0 retweets
18 likes
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.