Ecosyste.ms: Awesome

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

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with record-calculus

A curated list of projects in awesome lists tagged with record-calculus .

https://github.com/educorreia932/recording

🎥 REPL for a polymorphic record-calculus

compilation lambda-calculus master-dissertation polymorphism record-calculus

Last synced: 09 Nov 2024