Skip to content

Experiments with deep embedding a point-free language with polynomial functors

License

Notifications You must be signed in to change notification settings

dcastrop/poly-lang

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

38 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

poly-lang

A deep embedded point-free language with polynomial functors.

About

Experiments with deep embedding a point-free language with polynomial functors

Topics

Resources

License

Stars

Watchers

Forks

Packages

No packages published