Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/emarzion/hm

Definitional interpreter for Hindley-Milner in Coq
https://github.com/emarzion/hm

coq hindley-milner interpreter

Last synced: 9 days ago
JSON representation

Definitional interpreter for Hindley-Milner in Coq

Host: GitHub
URL: https://github.com/emarzion/hm
Owner: emarzion
Created: 2021-01-30T03:06:56.000Z (almost 4 years ago)
Default Branch: master
Last Pushed: 2021-01-30T06:53:25.000Z (almost 4 years ago)
Last Synced: 2023-07-10T18:41:51.140Z (over 1 year ago)
Topics: coq, hindley-milner, interpreter
Language: Coq
Homepage:
Size: 4.88 KB
Stars: 0
Watchers: 2
Forks: 0
Open Issues: 0
Metadata Files:
- Readme: README.md

Awesome Lists containing this project

README

        [![Docker CI](https://github.com/emarzion/hm/workflows/Docker%20CI/badge.svg?branch=master)](https://github.com/emarzion/hm/actions?query=workflow:"Docker%20CI")

# hm

Definitional interpreter for Hindley-Milner in Coq