Name		Name	Last commit message	Last commit date
Common		Common
Hata		Hata
LL/Experiment/fasteval		LL/Experiment/fasteval
Program		Program
Template		Template
Verification		Verification
.envrc		.envrc
.gitignore		.gitignore
.metabuild-root		.metabuild-root
Hata.agda-lib		Hata.agda-lib
Hata.hata-sln.yaml		Hata.hata-sln.yaml
Makefile		Makefile
README.md		README.md
flake.lock		flake.lock
flake.nix		flake.nix

Repository files navigation

Hata

A framework for development of programming languages.

About

No description, website, or topics provided.

Custom properties

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages