How to displace a Char in Hsakell?
I need a code that changes a Char into another displacing a number of times the Char in question.
For example
displace (d: Char, n: Z) : Char
input: d = ’b’, n = 3
output: ’e’
How to displace a Char in Hsakell?
I need a code that changes a Char into another displacing a number of times the Char in question.
For example
displace (d: Char, n: Z) : Char
input: d = ’b’, n = 3
output: ’e’