anmolsahoo25
Re:GADTs for Dummies
on Tuesday May 18, 2021 @11:28PM (#27204203)
OCaml already does. Some good examples -
JSON GADT : https://github.com/OCamlPro/ocplib-json-typed/blob/0d9e9cde7...
Mirage/repr, uses GADT's for representing OCaml types as runtime values which are used for implementing dynamic polymorphism - https://github.com/mirage/repr/blob/main/src/repr/type.ml
Re:Pan-European Privacy-Preserving Proximity Tracing
on Thursday April 02, 2020 @08:31AM (#22758228)
Shameless plug, but I created a simple Flutter app which does the exact same at - https://github.com/anmolsahoo25/covid19-dtrack-app
Works on Android, maybe useful for someone else, since they are not open-sourcing the app.