swh:1:snp:505c374fd75bb208ae4e9a54e64bb310bc49295e
History
Tip revision: 19b9ef9c9c35158ab276630d1ea1660dba590a73 authored by iguerNL@Functori on 01 March 2024, 07:38:39 UTC
WIP: try to typecheck the plugin with existential variables
Tip revision: 19b9ef9
File Mode Size
additional_registrations.ml -rw-r--r-- 3.9 KB
codec.ml -rw-r--r-- 7.3 KB
commands.ml -rw-r--r-- 15.0 KB
commands.mli -rw-r--r-- 1.9 KB
dune -rw-r--r-- 6.0 KB

back to top