Move Functions - Githubissues

Smaug123 / agdaproofs

Mathematical proofs in Agda

MIT License

4 stars 1 forks source link

Move Functions #119

Closed Smaug123 closed 4 years ago

Smaug123 commented 4 years ago

Ongoing effort to reduce the amount of deserialisation everything requires.