ericthewry/interpreters ericthewry/interpreters

  • Stars
    star
    2
  • Language
    Haskell
  • Created over 5 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ericthewry/interpreters
github

ericthewry

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

An Implementation of Many of the Definitional Interpreters from John C. Reynold's 1972 paper

More Repositories

1

semantics

A repository of toy haskell formalizations of various formal languages
Haskell
3
star
2

integer_matrices

JavaScript
2
star
3

epikat

Epistemic Reasoning in KAT
Haskell
1
star