@[email protected]M to [email protected]English • 1 year agoA quick guide to GADTs and why you ain't gonna need thempracticalocaml.commessage-square4fedilinkarrow-up12arrow-down11
arrow-up11arrow-down1external-linkA quick guide to GADTs and why you ain't gonna need thempracticalocaml.com@[email protected]M to [email protected]English • 1 year agomessage-square4fedilink
minus-square@ChimrodlinkEnglish1•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