mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-08-26 14:16:23 -06:00
667bfd30bd
Remove the `Either Int` from value2term
Remove the `Either Int` from value2term