apoisel@discuss.tchncs.deM to OCaml@discuss.tchncs.deEnglish · 1 year agoA quick guide to GADTs and why you ain't gonna need thempracticalocaml.comexternal-linkmessage-square4fedilinkarrow-up12arrow-down12
arrow-up10arrow-down1external-linkA quick guide to GADTs and why you ain't gonna need thempracticalocaml.comapoisel@discuss.tchncs.deM to OCaml@discuss.tchncs.deEnglish · 1 year agomessage-square4fedilink
minus-squareChimrod@lemmy.worldlinkfedilinkEnglisharrow-up1·1 year 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