Repository navigation

lip2025

Public

About

No description, website, or topics provided.

0 stars

0 watching

Report repository

Name		Name	Last commit message	Last commit date
fundyn		fundyn
funst		funst
funtypeinf		funtypeinf
README.md		README.md

Repository files navigation

lip2025

The repository contains three projects:

funst contains the big step semantics of the language FUN statically scoped
fundyn contains the big step semantics of the language FUN dynamically scoped
funtypeinf contains the type inference for the language FUN

About

No description, website, or topics provided.

0 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages