violet is a programming language I created for researching dependent type in use. If you want to contribute the project, you will need the below information:
violet is a programming language I created for researching dependent type in use. If you want to contribute the project, you will need the below information: