8000 GitHub - fricklerhandwerk/module-interfaces: A notion of function types and function application for the module system
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

fricklerhandwerk/module-interfaces

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

6 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Interfaces in the module system

This is an experiment to capture the spirit and commonalities of:

The general idea is what amounts to a "modular" function type that allows to separate interfaces from implementation when computing module system option values.

The question is how to wire this up!

About

A notion of function types and function application for the module system

Topics

Resources

Stars

Watchers

Forks

0