about summary refs log tree commit diff
AgeCommit message (Expand)Author
2024-07-09rename Ident -> Name part 2 mainMalte Voos
2024-07-08implement argument lists for top-level definitionsMalte Voos
2024-07-08rename Ident -> NameMalte Voos
2024-07-08implement top-level definitionsMalte Voos
2024-06-30remove useless dependencyMalte Voos
2024-06-30improve error messagesMalte Voos
2024-06-30implement syntax for non-dependent function and pair typesMalte Voos
2024-06-24rename: Reporter -> ErrorMalte Voos
2024-06-24split code into smaller libraries and make a better replMalte Voos
2024-06-23keep track of bound names everywhere to be able to output names instead of de...Malte Voos
2024-06-18add READMEMalte Voos
2024-06-17implement typecheckingMalte Voos
2024-02-20rename Ast.pp_* -> Ast.dump_*Malte Voos
2024-02-20use yuujinchou for identifiersMalte Voos
2024-02-20nbe: quotationMalte Voos
2024-02-19core syntax, semantic domain, evaluationMalte Voos
2024-02-16add type universe to grammarMalte Voos
2024-02-16basic lexer and parserMalte Voos
2024-02-11initMalte Voos
generated by cgit-pink 1.4.1 (git 2.36.1) at 2025-04-04 12:39:50 +0000