about summary refs log tree commit diff
path: root/dune-project
AgeCommit message (Expand)Author
2024-06-17implement typecheckingMalte Voos
2024-02-20use yuujinchou for identifiersMalte Voos
2024-02-19core syntax, semantic domain, evaluationMalte Voos
2024-02-16basic lexer and parserMalte Voos
2024-02-11initMalte Voos