Skip to content

Very restricted Haskell (strict subset) for formally specifying semantics of programming languages

Notifications You must be signed in to change notification settings

vagoff/rhaskell

Folders and files

NameName
Last commit message
Last commit date

Latest commit

1a1a242 · Aug 30, 2015

History

4 Commits
Aug 30, 2015
Aug 30, 2015
Aug 29, 2015

Repository files navigation

rhaskell

Very restricted Haskell (strict subset) for formally specifying semantics of programming languages.

  • no modules
  • no type classes
  • no newtype and deriving
  • fully monomorphic

About

Very restricted Haskell (strict subset) for formally specifying semantics of programming languages

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published