Skip to content

This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"

Notifications You must be signed in to change notification settings

idris-hackers/idris-algebra

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

8 Commits
 
 
 
 
 
 
 
 

Repository files navigation

An attempt at doing "Algebra" with idris types

This is a lightning rod repository to dump ideas and try things.

At no point does it claim to be official, correct, or the only way of doing things.

We appreciate all input into this repository.

About

This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages