Skip to content
GitLab
Explore
Sign in
coqpit
README.md
Find file
Blame
History
Permalink
Update README.md
· 96d811ee
WeberJulian
authored
Feb 17, 2022
Just adding missing import and missing type in val_listofunion in the `
👉
Simple Coqpit`
96d811ee
Loading