okneniz / tapl Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

TAPL - Types and Programming Languages

0 stars 0 forks Branches Tags Activity

Name		Name	Last commit message	Last commit date
Latest commit History 253 Commits
src/Language/TAPL		src/Language/TAPL
test		test
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
bitbucket-pipelines.yml		bitbucket-pipelines.yml
package.yaml		package.yaml
stack.yaml		stack.yaml
stack.yaml.lock		stack.yaml.lock

Repository files navigation

TAPL

Home works for TAPL book.

Implemented

Arith
Bot
Common
Equirec
Fomega
Fomsub
FullEquirec
FullError
FullFSub
FullFSubRef
FullFomSub
FullIsorec
FullOmega
FullPoly
FullRecon
FullRef
FullSimple
FullSub
FullUntyped
PureFSub
RcdSubBot
Recon
SimpleBool
TypedArith
Untyped

TODO

fullfomsubref
fullupdate