https://github.com/laughedelic/scala-adder

Answering SO question: "Generic Adder from Idris to Scala?"
https://github.com/laughedelic/scala-adder

Last synced: 3 months ago
JSON representation

Answering SO question: "Generic Adder from Idris to Scala?"

• Host: GitHub
• URL: https://github.com/laughedelic/scala-adder
• Owner: laughedelic
• License: agpl-3.0
• Created: 2016-03-11T17:03:42.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2016-03-11T23:33:55.000Z (over 9 years ago)
• Last Synced: 2025-05-16T00:21:51.998Z (5 months ago)
• Language: Scala
• Homepage: http://stackoverflow.com/a/35946840/736957
• Size: 15.6 KB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: readme.md
  • License: LICENSE

Awesome Lists containing this project

README

          
### scala-adder

[![](https://img.shields.io/badge/license-AGPLv3-blue.svg)](https://tldrlegal.com/license/gnu-affero-general-public-license-v3-%28agpl-3.0%29)

Answering the SO question: [Generic Adder from Idris to Shapeless?](http://stackoverflow.com/q/35907690/736957).

This is an implementation _without_ using shapeless. Can be useful as an example of constructing dependent function types in pure Scala.

Here is the link to the answer with the explanations:

-