HatsuneMiku / InferAgda

InferAgda

master thesis

README

using Agda 2.4.2.4 agda-stdlib-0.9

About

MIT License

Languages

Language:Agda 100.0%

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.