search

RedPRL / cooltt

😎TT
http://www.redprl.org/
Apache License 2.0
217 stars 16 forks source link

:selfie: JSreflect #389

Open favonia opened 2 years ago

favonia commented 2 years ago

Extract the ssreflect API to a standalone OCaml library