SimonJF/IdrisNet2 — pull request #3 by SimonJF (2014-03-17 20:36:40+00:00)
Title: DNS and PacketLang changes

Most importantly we have a Decodable chunk in PacketLang, which makes writing DNS (and likely other packets) infinitely easier. Also, DNS packet encoding *compiles* (not tested much yet though)