! Typo
! Forgotten mod instruction
! Fixed bug in KNormalization list case
! Missed K-Normalization for function
Merge branch 'develop' into feature/virtual-machine-code
! Fixed operator K-Normalization case for list & pair
! Equality is now allowed only for int & bool
Merge branch 'develop' into feature/virtual-machine-code
- Removed redundant import
+ Some changes in SPARC syntax
+ Registers
+ Utility functions on SPARC code
+ Initial version of virtual machine code generation
Merge branch 'feature/virtual-machine-code' into develop
+ Readme update