Finally got the Idris termination checker doing mutual recursion. But I'm too scared to test it much in case I get distracted all weekend...
-
-
@edwinbrady right...we've got this DSL for packet parsing that might be ideal to embed in Idris: https://github.com/pmundkur/fp/blob/master/doc/sp.ott … -
@avsm@edwinbrady@tnhh Great! Consider this an invitation then, Anil! Suggest some dates - sync by email.
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.