agda2scheme icon indicating copy to clipboard operation
agda2scheme copied to clipboard

Published 20 hours ago • verified publisher icon jespercockx

Support more built-in types

Open jespercockx opened this issue 3 years ago • 0 comments

The following built-in types of Agda are not yet supported:

  • [ ] Integers
  • [ ] Floats
  • [ ] Chars
  • [ ] Strings
  • [ ] Word64

Note that by default, Scheme uses complex numbers, so we need to use the flo-prefixed versions of operations on floats.

jespercockx avatar May 12 '22 07:05 jespercockx