apoisel@discuss.tchncs.deM to OCaml@discuss.tchncs.deEnglish · 11 months agoA quick guide to GADTs and why you ain't gonna need thempracticalocaml.comexternal-linkmessage-square4fedilinkarrow-up12arrow-down11
arrow-up11arrow-down1external-linkA quick guide to GADTs and why you ain't gonna need thempracticalocaml.comapoisel@discuss.tchncs.deM to OCaml@discuss.tchncs.deEnglish · 11 months agomessage-square4fedilink
minus-squareChimrod@lemmy.worldlinkfedilinkEnglisharrow-up1·11 months agoIf you want something more detailed, there is a library which does the same things (with more documentation inside :)) : https://github.com/anuragsoni/routes
If you want something more detailed, there is a library which does the same things (with more documentation inside :)) : https://github.com/anuragsoni/routes